guppylang icon indicating copy to clipboard operation
guppylang copied to clipboard

Find a way around python type checkers complaining about guppy

Open ss2165 opened this issue 1 year ago • 2 comments

So mypy knows to ignore it https://docs.python.org/3/library/typing.html#typing.no_type_check

ss2165 avatar Jun 28 '24 08:06 ss2165

The thing we want is https://docs.python.org/3/library/typing.html#typing.no_type_check_decorator to annotate @guppy as always being no_type_check.

Unfortunalty, no Python type checker has implemented it and it's going to be deprecated in Python 3.13: https://github.com/python/cpython/issues/106309

mark-koch avatar Jun 28 '24 10:06 mark-koch

Relatedly, when we call tuples of functions in guppy code, mypy complains that tuples aren't callable 😅

croyzor avatar Jul 17 '24 09:07 croyzor