guppylang-internals 0.26.0__py3-none-any.whl → 0.28.0__py3-none-any.whl

guppylang_internals/std/_internal/compiler/array.py

@@ -16,6 +16,7 @@ from guppylang_internals.std._internal.compiler.arithmetic import convert_itousi
 from guppylang_internals.std._internal.compiler.prelude import (
     build_unwrap_right,
 )
+from guppylang_internals.std._internal.compiler.tket_bool import make_opaque
 from guppylang_internals.tys.arg import ConstArg, TypeArg
 
 if TYPE_CHECKING:
@@ -206,6 +207,14 @@ def barray_new_all_borrowed(elem_ty: ht.Type, length: ht.TypeArg) -> ops.ExtOp:
     return _instantiate_array_op("new_all_borrowed", elem_ty, length, [], [arr_ty])
 
 
+def barray_is_borrowed(elem_ty: ht.Type, length: ht.TypeArg) -> ops.ExtOp:
+    """Returns an array `is_borrowed` operation."""
+    arr_ty = array_type(elem_ty, length)
+    return _instantiate_array_op(
+        "is_borrowed", elem_ty, length, [arr_ty, ht.USize()], [arr_ty, ht.Bool]
+    )
+
+
 def array_clone(elem_ty: ht.Type, length: ht.TypeArg) -> ops.ExtOp:
     """Returns an array `clone` operation for arrays none of whose elements are
     borrowed."""
@@ -320,7 +329,15 @@ class ArrayGetitemCompiler(ArrayCompiler):
 
 
 class ArraySetitemCompiler(ArrayCompiler):
-    """Compiler for the `array.__setitem__` function."""
+    """Compiler for the `array.__setitem__` function.
+
+    Arguments:
+        elem_first: If `True`, then compiler will assume that the element wire comes
+            before the index wire. Defaults to `False`.
+    """
+
+    def __init__(self, elem_first: bool = False):
+        self.elem_first = elem_first
 
     def _build_classical_setitem(
         self, array: Wire, idx: Wire, elem: Wire
@@ -359,6 +376,8 @@ class ArraySetitemCompiler(ArrayCompiler):
 
     def compile_with_inouts(self, args: list[Wire]) -> CallReturnWires:
         [array, idx, elem] = args
+        if self.elem_first:
+            elem, idx = idx, elem
         if self.elem_ty.type_bound() == ht.TypeBound.Linear:
             return self._build_linear_setitem(array, idx, elem)
         else:
@@ -379,3 +398,19 @@ class ArrayDiscardAllUsedCompiler(ArrayCompiler):
                 arr,
             )
         return []
+
+
+class ArrayIsBorrowedCompiler(ArrayCompiler):
+    """Compiler for the `array.is_borrowed` method."""
+
+    def compile_with_inouts(self, args: list[Wire]) -> CallReturnWires:
+        [array, idx] = args
+        idx = self.builder.add_op(convert_itousize(), idx)
+        array, b = self.builder.add_op(
+            barray_is_borrowed(self.elem_ty, self.length), array, idx
+        )
+        b = self.builder.add_op(make_opaque(), b)
+        return CallReturnWires(regular_returns=[b], inout_returns=[array])
+
+    def compile(self, args: list[Wire]) -> list[Wire]:
+        raise InternalGuppyError("Call compile_with_inouts instead")

guppylang_internals/std/_internal/compiler/either.py

@@ -4,6 +4,8 @@ from collections.abc import Sequence
 from hugr import Wire, ops
 from hugr import tys as ht
 
+from guppylang_internals.ast_util import get_type
+from guppylang_internals.compiler.expr_compiler import pack_returns, unpack_wire
 from guppylang_internals.definition.custom import (
     CustomCallCompiler,
     CustomInoutCallCompiler,
@@ -69,7 +71,14 @@ class EitherConstructor(EitherCompiler, CustomCallCompiler):
             # In the `right` case, the type args are swapped around since `R` occurs
             # first in the signature :(
             ty.variant_rows = [ty.variant_rows[1], ty.variant_rows[0]]
-        return [self.builder.add_op(ops.Tag(self.tag, ty), *args)]
+        # For the same reason, the type of the input corresponds to the first type
+        # variable
+        inp_arg = self.type_args[0]
+        assert isinstance(inp_arg, TypeArg)
+        [inp] = args
+        # Unpack the single input into a row
+        inp_row = unpack_wire(inp, inp_arg.ty, self.builder, self.ctx)
+        return [self.builder.add_op(ops.Tag(self.tag, ty), *inp_row)]
 
 
 class EitherTestCompiler(EitherCompiler):
@@ -128,4 +137,7 @@ class EitherUnwrapCompiler(EitherCompiler, CustomCallCompiler):
             out = build_unwrap_right(
                 self.builder, either, "Either.unwrap_right: value is `left`"
             )
-        return list(out)
+        # Pack outputs into a single wire. We're not allowed to return a row since the
+        # signature has a generic return type (also see `TupleType.preserve`)
+        return_ty = get_type(self.node)
+        return [pack_returns(list(out), return_ty, self.builder, self.ctx)]

guppylang_internals/std/_internal/compiler/tket_bool.py

@@ -40,12 +40,7 @@ class OpaqueBoolVal(hv.ExtensionValue):
     def to_value(self) -> hv.Extension:
         name = "ConstBool"
         payload = self.v
-        return hv.Extension(
-            name,
-            typ=OpaqueBool,
-            val=payload,
-            extensions=[BOOL_EXTENSION.name],
-        )
+        return hv.Extension(name, typ=OpaqueBool, val=payload)
 
     def __str__(self) -> str:
         return f"{self.v}"

guppylang_internals/std/_internal/compiler/tket_exts.py

@@ -59,7 +59,7 @@ class ConstWasmModule(val.ExtensionValue):
 
         name = "ConstWasmModule"
         payload = {"module_filename": self.wasm_file}
-        return val.Extension(name, typ=ty, val=payload, extensions=["tket.wasm"])
+        return val.Extension(name, typ=ty, val=payload)
 
     def __str__(self) -> str:
         return f"tket.wasm.module(module_filename={self.wasm_file})"

guppylang_internals/std/_internal/debug.py

@@ -1,6 +1,6 @@
 import ast
 from dataclasses import dataclass
-from typing import ClassVar, cast
+from typing import TYPE_CHECKING, ClassVar, cast
 
 from guppylang_internals.ast_util import with_loc
 from guppylang_internals.checker.core import ComptimeVariable
@@ -12,7 +12,6 @@ from guppylang_internals.checker.expr_checker import (
     synthesize_call,
 )
 from guppylang_internals.definition.custom import CustomCallChecker
-from guppylang_internals.definition.ty import TypeDef
 from guppylang_internals.diagnostic import Error
 from guppylang_internals.error import GuppyTypeError
 from guppylang_internals.nodes import GenericParamValue, PlaceNode, StateResultExpr
@@ -31,6 +30,9 @@ from guppylang_internals.tys.ty import (
     Type,
 )
 
+if TYPE_CHECKING:
+    from guppylang_internals.definition.ty import TypeDef
+
 
 class StateResultChecker(CustomCallChecker):
     """Call checker for the `state_result` function."""
@@ -63,7 +65,7 @@ class StateResultChecker(CustomCallChecker):
         from guppylang.std.quantum import qubit
 
         assert isinstance(qubit, GuppyDefinition)
-        qubit_ty = cast(TypeDef, qubit.wrapped).check_instantiate([])
+        qubit_ty = cast("TypeDef", qubit.wrapped).check_instantiate([])
 
         array_len = None
         arg, ty = ExprSynthesizer(self.ctx).synthesize(args[1])

guppylang_internals/tracing/builtins_mock.py

@@ -39,14 +39,14 @@ def _mock_meta(cls: type) -> type:
     return MockMeta
 
 
-class float(builtins.float, metaclass=_mock_meta(builtins.float)):  # type: ignore[misc]
+class float(builtins.float, metaclass=_mock_meta(builtins.float)):  # type: ignore[metaclass]
     def __new__(cls, x: Any = 0.0, /) -> Any:
         if isinstance(x, GuppyObject):
             return x.__float__()
         return builtins.float(x)
 
 
-class int(builtins.int, metaclass=_mock_meta(builtins.int)):  # type: ignore[misc]
+class int(builtins.int, metaclass=_mock_meta(builtins.int)):  # type: ignore[metaclass]
     def __new__(cls, x: Any = 0, /, *args: Any, **kwargs: Any) -> Any:
         if isinstance(x, GuppyObject):
             return x.__int__(*args, **kwargs)

guppylang_internals/tracing/object.py

@@ -342,8 +342,12 @@ class GuppyObject(DunderMixin):
         if not ty.droppable and not self._used:
             state.unused_undroppable_objs[self._id] = self
 
+    def __deepcopy__(self, memo: dict[int, Any]) -> "GuppyObject":
+        # Dummy deepcopy implementation, we do not want to actually deepcopy
+        return self
+
     @hide_trace
-    def __getattr__(self, key: str) -> Any:  # type: ignore[misc]
+    def __getattr__(self, key: str) -> Any:
         # Guppy objects don't have fields (structs are treated separately below), so the
         # only attributes we have to worry about are methods.
         func = get_tracing_state().globals.get_instance_func(self._ty, key)
@@ -450,7 +454,7 @@ class GuppyStructObject(DunderMixin):
         object.__setattr__(self, "_frozen", frozen)
 
     @hide_trace
-    def __getattr__(self, key: str) -> Any:  # type: ignore[misc]
+    def __getattr__(self, key: str) -> Any:
         # It could be an attribute
         if key in self._field_values:
             return self._field_values[key]

guppylang_internals/tys/parsing.py

@@ -143,6 +143,7 @@ def arg_from_ast(node: AstNode, ctx: TypeParsingCtx) -> Argument:
 def _try_parse_defn(node: AstNode, globals: Globals) -> Definition | None:
     """Tries to parse a (possibly qualified) name into a global definition."""
     from guppylang.defs import GuppyDefinition
+
     from guppylang_internals.checker.cfg_checker import VarNotDefinedError
 
     match node:
@@ -378,7 +379,9 @@ def type_from_ast(node: AstNode, ctx: TypeParsingCtx) -> Type:
     """Turns an AST expression into a Guppy type."""
     ty, flags = type_with_flags_from_ast(node, ctx)
     if flags != InputFlags.NoFlags:
-        assert InputFlags.Inout not in flags  # Users shouldn't be able to set this
+        # Users shouldn't be able to set this
+        # Ignore needed for Python 3.10 mypy compatibility with Flag enums
+        assert InputFlags.Inout not in flags  # type: ignore[operator, unused-ignore]
         raise GuppyError(FlagNotAllowedError(node))
     return ty
 

guppylang_internals/tys/qubit.py

@@ -1,11 +1,13 @@
 import functools
-from typing import Any, cast
+from typing import TYPE_CHECKING, Any, cast
 
-from guppylang_internals.definition.ty import TypeDef
 from guppylang_internals.tys.arg import TypeArg
 from guppylang_internals.tys.common import Visitor
 from guppylang_internals.tys.ty import OpaqueType, Type
 
+if TYPE_CHECKING:
+    from guppylang_internals.definition.ty import TypeDef
+
 
 @functools.cache
 def qubit_ty() -> Type:
@@ -17,7 +19,7 @@ def qubit_ty() -> Type:
     from guppylang.std.quantum import qubit
 
     assert isinstance(qubit, GuppyDefinition)
-    qubit_ty = cast(TypeDef, qubit.wrapped).check_instantiate([])
+    qubit_ty = cast("TypeDef", qubit.wrapped).check_instantiate([])
     return qubit_ty
 
 
@@ -36,7 +38,7 @@ class QubitFinder(Visitor):
         pass
 
     @functools.singledispatchmethod
-    def visit(self, ty: Any) -> bool:  # type: ignore[override]
+    def visit(self, ty: Any) -> bool:
         return False
 
     @visit.register

guppylang_internals/tys/subst.py

@@ -32,7 +32,7 @@ class Substituter(Transformer):
         self.subst = subst
 
     @functools.singledispatchmethod
-    def transform(self, ty: Any) -> Any | None:  # type: ignore[override]
+    def transform(self, ty: Any) -> Any | None:
         return None
 
     @transform.register
@@ -56,7 +56,7 @@ class Instantiator(Transformer):
         self.inst = inst
 
     @functools.singledispatchmethod
-    def transform(self, ty: Any) -> Any | None:  # type: ignore[override]
+    def transform(self, ty: Any) -> Any | None:
         return None
 
     @transform.register

guppylang_internals/tys/ty.py

@@ -97,7 +97,7 @@ class TypeBase(ToHugr[ht.Type], Transformable["Type"], ABC):
 
         # We use a custom printer that takes care of inserting parentheses and choosing
         # unique names
-        return TypePrinter().visit(cast(Type, self))
+        return TypePrinter().visit(cast("Type", self))
 
 
 @dataclass(frozen=True)
@@ -567,7 +567,7 @@ class FunctionType(ParametrizedTypeBase):
             remaining_params,
             # Comptime type arguments also need to be instantiated
             comptime_args=[
-                cast(ConstArg, arg.transform(inst)) for arg in self.comptime_args
+                cast("ConstArg", arg.transform(inst)) for arg in self.comptime_args
             ],
         )
 

guppylang_internals/wasm_util.py

@@ -26,8 +26,7 @@ class ConcreteWasmModule:
 @dataclass(frozen=True)
 class WasmSignatureError(Error):
     title: ClassVar[str] = (
-        "Invalid signature for @wasm function `{fn_name}`\n"
-        "in wasm file: `{filename}`"
+        "Invalid signature for @wasm function `{fn_name}`\nin wasm file:\n`{filename}`"
     )
     fn_name: str
     filename: str
@@ -53,7 +52,7 @@ class WasmFunctionNotInFile(Error):
 
     @dataclass(frozen=True)
     class WasmFileNote(Note):
-        message: ClassVar[str] = "Wasm file: {filename}"
+        message: ClassVar[str] = "Wasm file:\n`{filename}`"
         filename: str
 
 

{guppylang_internals-0.26.0.dist-info → guppylang_internals-0.28.0.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: guppylang-internals
-Version: 0.26.0
+Version: 0.28.0
 Summary: Compiler internals for `guppylang` package.
 Author-email: Mark Koch <mark.koch@quantinuum.com>, TKET development team <tket-support@quantinuum.com>
 Maintainer-email: Mark Koch <mark.koch@quantinuum.com>, TKET development team <tket-support@quantinuum.com>
@@ -219,12 +219,13 @@ Classifier: Programming Language :: Python :: 3.13
 Classifier: Programming Language :: Python :: 3.14
 Classifier: Topic :: Software Development :: Compilers
 Requires-Python: <4,>=3.10
-Requires-Dist: hugr~=0.14.1
+Requires-Dist: hugr~=0.15.1
+Requires-Dist: pytket>=1.34
 Requires-Dist: tket-exts~=0.12.0
+Requires-Dist: tket>=0.12.7
 Requires-Dist: typing-extensions<5,>=4.9.0
-Requires-Dist: wasmtime~=v38.0.0
+Requires-Dist: wasmtime<41.1,>=38.0
 Provides-Extra: pytket
-Requires-Dist: pytket>=1.34; extra == 'pytket'
 Description-Content-Type: text/markdown
 
 # guppylang-internals

{guppylang_internals-0.26.0.dist-info → guppylang_internals-0.28.0.dist-info}/RECORD

@@ -1,70 +1,71 @@
-guppylang_internals/__init__.py,sha256=eRNAncl2ENPaWe98y6nNX-U9UtENwgo-yfbWQkZy8Cs,130
-guppylang_internals/ast_util.py,sha256=WHa7axpGrdsjzQk3iw3reDzYlcmsx0HsNH4Qbqwjjig,12531
-guppylang_internals/decorator.py,sha256=i0PV3XzWBFjBUBSGfq7d4KmQuEwvM3bAsatcTXVZq98,14112
-guppylang_internals/diagnostic.py,sha256=VCpIhyVD8KPtk0GDYMa8XH0lKVsRbsWNu_ucE2jQT2I,18395
+guppylang_internals/__init__.py,sha256=KM7L1NJ-D2NCLrdyfv3tq7XPLy4kTzjJx6tjX8hL8AM,130
+guppylang_internals/ast_util.py,sha256=UX_KTTnI743zRWaSfp6WV_4QHIrAV7OnsiX38f0tmns,13092
+guppylang_internals/decorator.py,sha256=v3nkIA3yhC5PojpqJ-AOiuXnG7wTqOQZlBlb2RyOYL8,14191
+guppylang_internals/diagnostic.py,sha256=lyJvN3duViAIfQVY4tgt2c-4aQfR08RIAe-JWkhgjuI,21635
 guppylang_internals/dummy_decorator.py,sha256=LXTXrdcrr55YzerX3qrHS23q6S9pVdpUAvhprWzKH6E,2330
-guppylang_internals/engine.py,sha256=Npp02xXTb6bFYmHw52LVsVCAUi6dT3qaItEmpCB_2uA,10889
-guppylang_internals/error.py,sha256=fjHsbglnH9GtcsLF4sSry7FTjrLoiyQ-L1JS3uGirx0,3393
+guppylang_internals/engine.py,sha256=JPSTs75erAZquNxo5POT0v3D_d0Qci00exSVf4mft4I,12733
+guppylang_internals/error.py,sha256=CiOQALJbJ8PXA0N-O4lQ11wgQ6yCjqk-_4Mg6be8ts4,3395
 guppylang_internals/experimental.py,sha256=yERQgpT7P-x0-nr4gU4PdUCntByQwF2I9rfjpWtgqn4,3115
 guppylang_internals/ipython_inspect.py,sha256=rY2DpSpSBrRk0IZmuoz7jh35kGZHQnHLAQQFdb_-WnI,931
-guppylang_internals/nodes.py,sha256=wnnAI3sHZ-OwolcZMKYA_dkmz4IE5Y4CFqXDJ0LXAJM,12824
+guppylang_internals/nodes.py,sha256=_HnEP2p1YDiM6J-k_UVO3oG9-vUnShpDkTqJ3ItHRyk,21423
 guppylang_internals/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-guppylang_internals/span.py,sha256=8rWzAAipWunhhyCp44qdUAPmOfAXkEMvicK0PYc3tTg,4986
-guppylang_internals/wasm_util.py,sha256=TyTS9pbFlqpcjCnRwCdCQliGhUWVHkUcZswAytI8oNc,3590
+guppylang_internals/span.py,sha256=55c1G7QacrYI52VJlq0tw9nz4UoMZfqZ3ViqyrKzBY4,5137
+guppylang_internals/wasm_util.py,sha256=ajhY1lymbb3ZXxW63BoUK1BPQpSrjT4I2xaCUcaUP5w,3583
 guppylang_internals/cfg/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-guppylang_internals/cfg/analysis.py,sha256=fD3cY0bZ85iNWcmLAXFaXwcdCfB7gzssKjYfsm1J-wQ,8365
+guppylang_internals/cfg/analysis.py,sha256=41FT4ts38GPYawNNBD1WQLSPp7t6oRuu9-Kv6HDyMDY,8367
 guppylang_internals/cfg/bb.py,sha256=TxV5yHRqiH86lvLR0g4EZ4fs7S6Axoof1l0TIAZArJM,8591
-guppylang_internals/cfg/builder.py,sha256=QqzleSd5-3h77Uy-ng_lNJz73C6-eGwgG_6my8Dh2pQ,28252
-guppylang_internals/cfg/cfg.py,sha256=qQuWGK1rgPIkMyJFsX3LrqnXp3ptDDOuXwTbgf_NUSE,4489
+guppylang_internals/cfg/builder.py,sha256=6HVuVjtgPaFjzuMHtbBz6OX7fS5JhJVI9GYXZv6JkmQ,29650
+guppylang_internals/cfg/cfg.py,sha256=EmKvILolYoTMSO2wrYRfPWaM-qfMCvdumvcWVJRxUm4,4491
 guppylang_internals/checker/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 guppylang_internals/checker/cfg_checker.py,sha256=0hDxw2CTbTbjewtDjaoBehgon17tJaQG9YPO_qR6P0Q,13667
-guppylang_internals/checker/core.py,sha256=IPgnaRih5flDevzJsu6o_ycG3vk2X9Mt4A-MZ7gufNU,18163
-guppylang_internals/checker/expr_checker.py,sha256=cQVigPN-BE-0nfo_8EUSxCgzSFFfRTxA3dvEMZzzGA8,60121
-guppylang_internals/checker/func_checker.py,sha256=WxQtwQdYOfvPVHRem__LoBMax5eUzvmqEJXbxmHzG5M,16118
+guppylang_internals/checker/core.py,sha256=IH3-9kuagCh6BtX7_hcjeNmfT8VUUCSzYoFUUan2n8A,18165
+guppylang_internals/checker/expr_checker.py,sha256=LBCL98bEHUkfRLcLN0zulu_jN-cPX6l4lDJvE0VMTt4,61211
+guppylang_internals/checker/func_checker.py,sha256=BuMdrs6PkrzUoSOD8BrCf0ZxC8ixf12xPMJVwZ2i7Ig,16125
 guppylang_internals/checker/linearity_checker.py,sha256=cVgoUshu6YPEJ2mgk3RUWx38qt52WNMxjyLVV5eqgD4,37160
 guppylang_internals/checker/modifier_checker.py,sha256=ruhEkbT4g9YIJXOGRsfpdzUsbXxEbS95PC1LG-EAl3o,4175
-guppylang_internals/checker/stmt_checker.py,sha256=paUBaAwx3QRpJAonND8wBpO4FxcNb4iPXMzImB11T9A,20785
+guppylang_internals/checker/stmt_checker.py,sha256=Fp7KoSiKWdIHOM-iplRf5wpTJeu5XQ9LaRzq71fEZzM,20787
 guppylang_internals/checker/unitary_checker.py,sha256=TVUT4JskaOzNVLcMrQwOd5t5MBLdHC2jFEtFHzlOW8I,4512
 guppylang_internals/checker/errors/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-guppylang_internals/checker/errors/comptime_errors.py,sha256=ee42lnVjXbjqirjp6vYaRvbKKexeNV08px1Kqu9eXn8,3436
+guppylang_internals/checker/errors/comptime_errors.py,sha256=SOISi-3ljagJa5fiWsPNk6rLIgh0-iq9RltdnRLwItk,3082
 guppylang_internals/checker/errors/generic.py,sha256=r-BiSrmJh9jfXlxE029GMQ8yj30_qOTW2RAQsd3HYzs,2050
-guppylang_internals/checker/errors/linearity.py,sha256=VLGvwzfW6uljNjYUEIxNkgt6s3q9-yo1O22BoTiS4Xs,8922
+guppylang_internals/checker/errors/linearity.py,sha256=jKp_IExMySGYjxEw-VbvVNgUewW6jRieseMLB4-twPA,8978
 guppylang_internals/checker/errors/type_errors.py,sha256=KUmcpN3tGLI_8BogcGKfV_N5BO7yqEBPgyHmf8hk-3M,10619
 guppylang_internals/checker/errors/wasm.py,sha256=TlwQRtlA0zpu8xwkBHWPYc25OIb6NrMHRxuYUfyD0Rg,956
 guppylang_internals/compiler/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-guppylang_internals/compiler/cfg_compiler.py,sha256=dKAh2dWMUCXHpb5GjRzgT6Npnv74Vx5WqMaaa_X1koI,9004
-guppylang_internals/compiler/core.py,sha256=iWD2K4Ztu1nvK6o5ZIyR_c3UBc4cjBxfgzrZEJuOdfY,31548
-guppylang_internals/compiler/expr_compiler.py,sha256=ZlOP4JnvggjXC3uf0km-nRzk04IbblEdEJLeZpIWFDI,37198
+guppylang_internals/compiler/cfg_compiler.py,sha256=K-hf2wi3VSQI1TW6h3cUGY8_gMmQvVo152Gjqeyt3yA,9006
+guppylang_internals/compiler/core.py,sha256=fMmbxo6Z210cFyGSWDuyQyNSbpNUNhe_7m95IbufjI8,31998
+guppylang_internals/compiler/expr_compiler.py,sha256=rM4VuG9s974MQSBlmjPVXIpY_LSoMFZ9qnUZOpj6qf0,37934
 guppylang_internals/compiler/func_compiler.py,sha256=0bo28RNsFZDYmllle-yFUXKC0UJsLl2TVjr3gvDMJVA,3377
 guppylang_internals/compiler/hugr_extension.py,sha256=eFUcxzBZoVzXV-AqEOJlh_rJkyuS3vFv1WKGOHjloJs,7966
-guppylang_internals/compiler/modifier_compiler.py,sha256=Ni0ANon4kI8Ro3YIh_jt1-7Ucs12KmWmE7QDq_MDMgw,6464
+guppylang_internals/compiler/modifier_compiler.py,sha256=LrPLldlcFSjhKdHmx8034SLwKLRI-SE8LhEXcOLDNnQ,6506
 guppylang_internals/compiler/qtm_platform_extension.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 guppylang_internals/compiler/stmt_compiler.py,sha256=cdOgqzRVP1hYeGbGftgY8LlFRHLWdgFPjlhK-khoMvw,9340
 guppylang_internals/definition/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-guppylang_internals/definition/common.py,sha256=Me7gpCTzOqDv7eRv6Wo5ynsMYy6MEDpeX9uY2acYRDI,6927
+guppylang_internals/definition/common.py,sha256=AmNoht3dFs7s0UzKZXsnipZe90hz7nLNm3jqObQieLE,6970
 guppylang_internals/definition/const.py,sha256=71QVX3xqSaC0u4bsYHPbR_0Csz1Es-P7HHGxbTZXfNI,2283
-guppylang_internals/definition/custom.py,sha256=sPYY8o1_WuSNHQazV4KCvUcLer8mvepTYb285XMGkEM,19683
-guppylang_internals/definition/declaration.py,sha256=vwo7P6D3TJU_6wfTWmx6KnmjOCCGLiGjJQ-Zf_02rYM,6038
+guppylang_internals/definition/custom.py,sha256=xjVsqiav6BZGouyNYjAZiCnAKsx_Rwkxl-GIJT0ZOyE,19710
+guppylang_internals/definition/declaration.py,sha256=uJqM8qD75koWu-jd7lyRe5bVrswtubtzb9wbouGk6is,6040
 guppylang_internals/definition/extern.py,sha256=hEajRYaapKIfX9J7scnusQHc1e_bCxB4oUVWZ-D4c8o,2878
-guppylang_internals/definition/function.py,sha256=LPWvQrlzTnY_18n_myD063p7KdXM51CJIIjmpdBTStY,11395
-guppylang_internals/definition/overloaded.py,sha256=UQ64waMp48gEVDCqEzuJFrRoNJ9saUIRUAynF3T-Gz8,5132
+guppylang_internals/definition/function.py,sha256=rkfrWRNUiqJbAe_6W6a1mz1JZpNqaJvmClbmZtdvDqo,11887
+guppylang_internals/definition/metadata.py,sha256=10tEBVNj5ONCsfdv4-hGBp0wzYN2gxYM-EXtMqO9bL4,3041
+guppylang_internals/definition/overloaded.py,sha256=jwrzaL_P1fYW9TTL-gnPAe0gHLN2kDPbG1-muKT0u1Q,5613
 guppylang_internals/definition/parameter.py,sha256=l60l-yO34gpeuKZ5D3ru8CS8wnQGuoAgqIUP1CrfOF8,2789
-guppylang_internals/definition/pytket_circuits.py,sha256=SkOUg3EwBjpeb3_2PzvkH9xzAvI_OIt-wILY37wv2zI,17010
+guppylang_internals/definition/pytket_circuits.py,sha256=YfQDdZrUPluO0zg_12Egb4KpzC3QBcKCIcVZGJEQj94,16198
 guppylang_internals/definition/struct.py,sha256=Jed5kcoc57toQr4f7zeB7mr6fSDP1Q2KRnmGJvbVXF4,15572
 guppylang_internals/definition/traced.py,sha256=hMHnrLKdbMvmmzmcJRvOCR-WiPHJ3x5ji0am436HNTQ,5592
 guppylang_internals/definition/ty.py,sha256=5Jt7twY8v1cE7noZ_RYfo0X55KYV6JI0itdHW9vvZs0,2085
-guppylang_internals/definition/value.py,sha256=tgkp-brIAauGXMqe68Fnwvz_bfdThdwJ_rzsGMbw95w,3452
-guppylang_internals/definition/wasm.py,sha256=iGxVdKIXYdfODLEvPg7fefE5lLWbQ3bWPIc6dAxnqWw,3389
+guppylang_internals/definition/value.py,sha256=F8XNB9qsKoHAwh0VhESRnL2z4WCWg-aiub8ldQKti8E,3489
+guppylang_internals/definition/wasm.py,sha256=3e1rDFjdf9AkYUrMukfRqn2V4S6yMw86Us_VBxFRdTs,3391
 guppylang_internals/std/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 guppylang_internals/std/_internal/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-guppylang_internals/std/_internal/checker.py,sha256=aFtfGxeJd2UypQs1otbK93Wq_rIEOiimSP4JqgB559I,18037
+guppylang_internals/std/_internal/checker.py,sha256=eWg2bOpD3A1cpQIo2XQShioah8pSZS2vaK1fY1VhLEU,21892
 guppylang_internals/std/_internal/compiler.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-guppylang_internals/std/_internal/debug.py,sha256=j6bGg9TFn4fR8-H8Hk10BfY9EkanfiJn5ArLeBMISZo,3894
+guppylang_internals/std/_internal/debug.py,sha256=xdFC2kjI-GY5SNzsWdwH7a5MsaUWLutQ8P6odlxLNkE,3934
 guppylang_internals/std/_internal/util.py,sha256=e_sawDuuk1YFpbEQXbpAvWMNeTlkGb4P0t6Ed0JpP9M,8305
 guppylang_internals/std/_internal/compiler/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 guppylang_internals/std/_internal/compiler/arithmetic.py,sha256=_Nf-P3GwTp-ZVLz62Hz9ModD74R41hKqutNGmp5Mn6g,4287
-guppylang_internals/std/_internal/compiler/array.py,sha256=YTFzInN7DkU4M_AASHR__D_9bouvaNrYNRKxsO3-Fek,13491
-guppylang_internals/std/_internal/compiler/either.py,sha256=LzLSfsafwVAgaeX8d91IRmrxK6kx0YC_MtGSBEgBsbs,4716
+guppylang_internals/std/_internal/compiler/array.py,sha256=l3FqmqRr-95a0lkTW1-MCd2VzFDBYHZR2-Aw38gW0bY,14803
+guppylang_internals/std/_internal/compiler/either.py,sha256=LEVPfkINfYr5qENkszzgYYI5zrjaYPHlPnk0nNBrBaA,5425
 guppylang_internals/std/_internal/compiler/frozenarray.py,sha256=BZMSSYTieqcFaAXGTR0nw2b7eN5LK2Et4vNZSBFRcyI,2361
 guppylang_internals/std/_internal/compiler/futures.py,sha256=nIaxXCGj4BPI_to_Q87gQEqN94Q8hb09ICkODZVOJrQ,1095
 guppylang_internals/std/_internal/compiler/list.py,sha256=Tqvs-J7iL5TxG5qgk-dboXU3-y7uZq-tQ9r9xFhmw4c,12574
@@ -74,14 +75,14 @@ guppylang_internals/std/_internal/compiler/platform.py,sha256=3TMYdRO--Sabapo4K0
 guppylang_internals/std/_internal/compiler/prelude.py,sha256=2pOmi1JNBHsETkC4EGskbFBAZAlAJ4IvWZLe5v4DIFM,9635
 guppylang_internals/std/_internal/compiler/qsystem.py,sha256=dKSpvpxF7WRfWuDj0u7zShEhTL6mkAr9pQNyYVoa8vM,1940
 guppylang_internals/std/_internal/compiler/quantum.py,sha256=gXuB1vpRl8ipgwwEYPCgoMPiqPUJ908Msl09jJFdWxg,3930
-guppylang_internals/std/_internal/compiler/tket_bool.py,sha256=ceO9BBF3HhjNAkc4dObJBH13Kpn08-pSaksjl3yoOa4,1207
-guppylang_internals/std/_internal/compiler/tket_exts.py,sha256=E7Ywu6xiMepkFoNYZ90rBMPLi3l1MlZSTJE0YmO6TAo,1540
+guppylang_internals/std/_internal/compiler/tket_bool.py,sha256=yvZRArJIVnCysdfvg6TSz61wwt9ikZh5N5EX4DF2UfE,1114
+guppylang_internals/std/_internal/compiler/tket_exts.py,sha256=UP43DbvDoXetM0qIYGEbTx4h0lINf3n5GZ67VphMUp8,1514
 guppylang_internals/std/_internal/compiler/wasm.py,sha256=1G8EzrnN3Yv12hIdv2XOg4Hq-QlvRYl7-4QbZYLYyM4,5727
 guppylang_internals/tracing/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-guppylang_internals/tracing/builtins_mock.py,sha256=iKgrs626DVhdN7nJroKBLstWGwkr7PzJI4CrgqkMyTA,2963
+guppylang_internals/tracing/builtins_mock.py,sha256=Z_aXgUpTXIyLelfEFKVjpMLWDM-am_GtAD7KMceGFhQ,2973
 guppylang_internals/tracing/frozenlist.py,sha256=sINk-PZTw4dNThF5GK9AZxAeX5ap-g_hbqxZ79GtLAc,1823
 guppylang_internals/tracing/function.py,sha256=K2rEey0awOxwfljGk4uezRmXode7rgOKQY1VN94wOIo,7901
-guppylang_internals/tracing/object.py,sha256=UMysud9Cc4pHqIDF2qn0zwo97q5d1IqMn1CHxvcitBs,20393
+guppylang_internals/tracing/object.py,sha256=iW8oQsbO_KgNpvcaDrVA6H52tULQpmWk5De8OILSurU,20514
 guppylang_internals/tracing/state.py,sha256=J-fG0dZh9IeB6hpLfyp5IwqS2TW0Zr8XloMmuIHWS6Q,2083
 guppylang_internals/tracing/unpacking.py,sha256=6Df9h4pFS6mebyU3VR5DfO87Rs_QbTdSkLMNjpaM0Xc,8728
 guppylang_internals/tracing/util.py,sha256=zzVUeY7Ax4v_ZQh7QmckYaOWsg7BRZg6-oX4VWmytDU,3054
@@ -92,13 +93,13 @@ guppylang_internals/tys/common.py,sha256=kCJDzSquUdztV5zEINE0Lxigawux9te0lmzd0Oa
 guppylang_internals/tys/const.py,sha256=kl15uOriJFLUpoodb75f4dl3HYYa6OuKWA2B0vheVPY,4876
 guppylang_internals/tys/errors.py,sha256=zg3R-R-W5D-5kAm_xEemvfs4GJ7NHLgAL_N2WToquZA,6158
 guppylang_internals/tys/param.py,sha256=NXNDp8yrxbCkCo6oWCnjGg1ZoJ-F0leR5aUIj2eZQrc,10165
-guppylang_internals/tys/parsing.py,sha256=w2uHVcGXU6ekMQZSPX0je9gSavigh3GIyIr8jvq2oSg,15974
+guppylang_internals/tys/parsing.py,sha256=5PCfIXp6MTIbdLq6t7AzR8u6gpW6KE0dOyAMkAJyZjI,16098
 guppylang_internals/tys/printing.py,sha256=4DewINiHYMI_l_hmhDhfUYiWmfdj2s2NkKZcMC4Qu7U,5723
-guppylang_internals/tys/qubit.py,sha256=Y7RRc3_bP9LIoAMqjDsVNVzaplgF7h26L2OJB5XpDVc,1732
-guppylang_internals/tys/subst.py,sha256=fMIh7jNMMNiKjlr3WMxAwY_ovX1qTaz_c5foruYkLPs,3049
-guppylang_internals/tys/ty.py,sha256=kRkI_QfPbITKuHre29Ejha55Y68j-aiLAWSBdvO1Ma8,31115
+guppylang_internals/tys/qubit.py,sha256=dAceI0tFPNlCrV85gDq0y1p0f2fTPRhsxi-El-IZtzc,1746
+guppylang_internals/tys/subst.py,sha256=klk9eX71soQ2OOAsZ_RxdMRbOOQ77O0QRtPSg2xEsVA,2997
+guppylang_internals/tys/ty.py,sha256=2Ojf8yxYypXCQSrq5cVCt7EMVCfjkFIIJBEZpcqxwzU,31119
 guppylang_internals/tys/var.py,sha256=zACXv2IvGrqjDryC6lMyZpNnDb3SBRM2SlTOyq6WJdo,1173
-guppylang_internals-0.26.0.dist-info/METADATA,sha256=yTv-p1nskM4Z4zIz0laFimpTCmF5bYPq6NxG_t_h8PY,14853
-guppylang_internals-0.26.0.dist-info/WHEEL,sha256=WLgqFyCfm_KASv4WHyYy0P3pM_m7J5L9k2skdKLirC8,87
-guppylang_internals-0.26.0.dist-info/licenses/LICENCE,sha256=xx0jnfkXJvxRnG63LTGOxlggYnIysveWIZ6H3PNdCrQ,11357
-guppylang_internals-0.26.0.dist-info/RECORD,,
+guppylang_internals-0.28.0.dist-info/METADATA,sha256=si1cmOM9yJtW5iOZuQrzsi7SOuK7dLf9jYEsNxh5_No,14865
+guppylang_internals-0.28.0.dist-info/WHEEL,sha256=WLgqFyCfm_KASv4WHyYy0P3pM_m7J5L9k2skdKLirC8,87
+guppylang_internals-0.28.0.dist-info/licenses/LICENCE,sha256=xx0jnfkXJvxRnG63LTGOxlggYnIysveWIZ6H3PNdCrQ,11357
+guppylang_internals-0.28.0.dist-info/RECORD,,