Mark Koch
Mark Koch
This `Tag(0, MakeTuple())` is also needed if there is only a single successor. Do we also want to use a constant in that case? If the True/False value of a...
Thank you, that's a great overview of the existing setup in Guppy! I think your migration plan makes sense 👍 > Proposed changes to guppy / hugr-cli Do you mean...
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:...
> the local j is out of scope by the time the compile time one is called. Note that we're following Python's scoping semantics. For example the following code would...
Also related to #556
We used to disallow it, but that lead to problems in Jupyter notebooks were you might want to run a cell multiple times with updated contents. Now we try to...
In see two options: * Turn `py` into an actual function and use a CustomCallChecker * Disallow naming variables py since it's a "keyword"
Closed by #1031