guppylang-internals 0.21.0__py3-none-any.whl → 0.21.1__py3-none-any.whl

guppylang_internals/__init__.py

@@ -1,3 +1,3 @@
 # This is updated by our release-please workflow, triggered by this
 # annotation: x-release-please-version
-__version__ = "0.21.0"
+__version__ = "0.21.1"

guppylang_internals/checker/expr_checker.py

@@ -1365,6 +1365,8 @@ def python_value_to_guppy_type(
             return TupleType(cast(list[Type], tys))
         case list():
             return _python_list_to_guppy_type(v, node, globals, type_hint)
+        case None:
+            return NoneType()
         case _:
             return None
 

guppylang_internals/compiler/expr_compiler.py

@@ -828,6 +828,8 @@ def python_value_to_hugr(v: Any, exp_ty: Type, ctx: CompilerContext) -> hv.Value
                 return hugr.std.collections.static_array.StaticArrayVal(
                     vs, elem_ty.to_hugr(ctx), name=f"static_pyarray.{next(tmp_vars)}"
                 )
+        case None:
+            return hugr.val.Unit
         case _:
             return None
     return None

guppylang_internals/decorator.py

@@ -1,16 +1,11 @@
-import builtins
+from __future__ import annotations
+
 import inspect
-from collections.abc import Callable, Sequence
-from types import FrameType
-from typing import ParamSpec, TypeVar
+from typing import TYPE_CHECKING, ParamSpec, TypeVar
 
 from hugr import ops
 from hugr import tys as ht
 
-from guppylang.defs import (
-    GuppyDefinition,
-    GuppyFunctionDefinition,
-)
 from guppylang_internals.compiler.core import (
     CompilerContext,
     GlobalConstId,
@@ -27,6 +22,7 @@ from guppylang_internals.definition.custom import (
 )
 from guppylang_internals.definition.ty import OpaqueTypeDef, TypeDef
 from guppylang_internals.definition.wasm import RawWasmFunctionDef
+from guppylang_internals.dummy_decorator import _dummy_custom_decorator, sphinx_running
 from guppylang_internals.engine import DEF_STORE
 from guppylang_internals.std._internal.checker import WasmCallChecker
 from guppylang_internals.std._internal.compiler.wasm import (
@@ -34,12 +30,9 @@ from guppylang_internals.std._internal.compiler.wasm import (
     WasmModuleDiscardCompiler,
     WasmModuleInitCompiler,
 )
-from guppylang_internals.tys.arg import Argument
 from guppylang_internals.tys.builtin import (
     WasmModuleTypeDef,
 )
-from guppylang_internals.tys.param import Parameter
-from guppylang_internals.tys.subst import Inst
 from guppylang_internals.tys.ty import (
     FuncInput,
     FunctionType,
@@ -48,6 +41,16 @@ from guppylang_internals.tys.ty import (
     NumericType,
 )
 
+if TYPE_CHECKING:
+    import builtins
+    from collections.abc import Callable, Sequence
+    from types import FrameType
+
+    from guppylang.defs import GuppyDefinition, GuppyFunctionDefinition
+    from guppylang_internals.tys.arg import Argument
+    from guppylang_internals.tys.param import Parameter
+    from guppylang_internals.tys.subst import Inst
+
 T = TypeVar("T")
 P = ParamSpec("P")
 
@@ -78,6 +81,7 @@ def custom_function(
     that case, the function signature can be omitted if a custom call compiler is
     provided.
     """
+    from guppylang.defs import GuppyFunctionDefinition
 
     def dec(f: Callable[P, T]) -> GuppyFunctionDefinition[P, T]:
         call_checker = checker or DefaultCallChecker()
@@ -119,6 +123,7 @@ def hugr_op(
 
 def extend_type(defn: TypeDef) -> Callable[[type], type]:
     """Decorator to add new instance functions to a type."""
+    from guppylang.defs import GuppyDefinition
 
     def dec(c: type) -> type:
         for val in c.__dict__.values():
@@ -147,6 +152,8 @@ def custom_type(
     For generic types, a callable may be passed that takes the type arguments of a
     concrete instantiation.
     """
+    from guppylang.defs import GuppyDefinition
+
     mk_hugr_ty = (
         (lambda args, ctx: hugr_ty) if isinstance(hugr_ty, ht.Type) else hugr_ty
     )
@@ -176,6 +183,8 @@ def custom_type(
 def wasm_module(
     filename: str, filehash: int
 ) -> Callable[[builtins.type[T]], GuppyDefinition]:
+    from guppylang.defs import GuppyDefinition
+
     def dec(cls: builtins.type[T]) -> GuppyDefinition:
         # N.B. Only one module per file and vice-versa
         wasm_module = WasmModuleTypeDef(
@@ -229,6 +238,8 @@ def wasm_module(
 
 
 def wasm(f: Callable[P, T]) -> GuppyFunctionDefinition[P, T]:
+    from guppylang.defs import GuppyFunctionDefinition
+
     func = RawWasmFunctionDef(
         DefId.fresh(),
         f.__name__,
@@ -243,4 +254,11 @@ def wasm(f: Callable[P, T]) -> GuppyFunctionDefinition[P, T]:
     return GuppyFunctionDefinition(func)
 
 
-# TODO sphinx hack for custom decorators
+# Override decorators with dummy versions if we're running a sphinx build
+if not TYPE_CHECKING and sphinx_running():
+    custom_function = _dummy_custom_decorator
+    hugr_op = _dummy_custom_decorator
+    extend_type = _dummy_custom_decorator
+    custom_type = _dummy_custom_decorator
+    wasm_module = _dummy_custom_decorator
+    wasm = _dummy_custom_decorator()

guppylang_internals/dummy_decorator.py

@@ -64,6 +64,11 @@ class _DummyGuppy:
         return None
 
 
+def _dummy_custom_decorator(*args: Any, **kwargs: Any) -> Any:
+    """Dummy version of custom decorators that are used during Sphinx builds."""
+    return lambda f: f
+
+
 def sphinx_running() -> bool:
     """Checks if guppylang was imported during a sphinx build."""
     # This is the most general solution available at the moment.

{guppylang_internals-0.21.0.dist-info → guppylang_internals-0.21.1.dist-info}/METADATA

@@ -1,7 +1,7 @@
 Metadata-Version: 2.4
 Name: guppylang-internals
-Version: 0.21.0
-Summary: Copmiler internals for `guppylang` package.
+Version: 0.21.1
+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>
 License:                                  Apache License

{guppylang_internals-0.21.0.dist-info → guppylang_internals-0.21.1.dist-info}/RECORD

@@ -1,8 +1,8 @@
-guppylang_internals/__init__.py,sha256=rfagOgIELmtxbgWxVGfxXBIFiBNWsBIL1-bp-l3ymKg,130
+guppylang_internals/__init__.py,sha256=itclzLi3ilVxnsjfxQmX3NQavLE3_ewrLWPM20dd-oM,130
 guppylang_internals/ast_util.py,sha256=I-SdMwi5cgSQRSV1C1RsBXeU2ovLEvvUpTzpoRwrIeE,11799
-guppylang_internals/decorator.py,sha256=lRAKbqsHpj6ZI5Z2rPjstTSaRvS7nnYY_CJkt5AS7L0,7991
+guppylang_internals/decorator.py,sha256=-A3Xml0uvS4DJGd138ZjdP9aiK_orHCaJpF8IR0JSu8,8742
 guppylang_internals/diagnostic.py,sha256=VCpIhyVD8KPtk0GDYMa8XH0lKVsRbsWNu_ucE2jQT2I,18395
-guppylang_internals/dummy_decorator.py,sha256=Z_jzVLxZYtTEh3I5h_1c18qKLb8PTef33PpF5FsGgL8,2161
+guppylang_internals/dummy_decorator.py,sha256=LXTXrdcrr55YzerX3qrHS23q6S9pVdpUAvhprWzKH6E,2330
 guppylang_internals/engine.py,sha256=KM3iY2gz5RrtEB44AWuz8P16Gk-ItDuUpsG9cDMtFyg,10251
 guppylang_internals/error.py,sha256=fjHsbglnH9GtcsLF4sSry7FTjrLoiyQ-L1JS3uGirx0,3393
 guppylang_internals/experimental.py,sha256=ad3Ti6ncUdQA6MiXRyj45GvzlSx3Ww7PhrEpnrb79kI,2937
@@ -18,7 +18,7 @@ guppylang_internals/cfg/cfg.py,sha256=q2mYWVyzl0-CVlQWcpjphyBqmS5zuRw-CiS2esa3Xk
 guppylang_internals/checker/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 guppylang_internals/checker/cfg_checker.py,sha256=uye3h4zVV5056QOuUBS5MPrvh4wUbuNKV1LwETOStJk,14730
 guppylang_internals/checker/core.py,sha256=5c2X8AHwSBGQdk2eMiplhQ5lnl78bxQA2mJm3MFUty0,17675
-guppylang_internals/checker/expr_checker.py,sha256=9-fKPLNCbU7iiHq65KI1-qJTpS__zLHt7yTRK6JhXRc,58702
+guppylang_internals/checker/expr_checker.py,sha256=m9tCxVFjlM2YheFI3wp09dktb7rRFn9Blf5qLjBq2ms,58751
 guppylang_internals/checker/func_checker.py,sha256=zpYJ4vj6Xe0cmhF43ISV7rnRqGqel6jZQQfY8oFv9yU,10090
 guppylang_internals/checker/linearity_checker.py,sha256=cHvJSqFKWpkLqO7uAwz7OBmxtAi8ZN_K7afMrspkXy4,34719
 guppylang_internals/checker/stmt_checker.py,sha256=2wh7HNzCFwe9WjhV66XxWQ2wMJjze7L860o4aG_RU48,18123
@@ -31,7 +31,7 @@ guppylang_internals/checker/errors/wasm.py,sha256=tRpNhC8IZBkv6Nkn_dMRwGpDdZklv7
 guppylang_internals/compiler/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 guppylang_internals/compiler/cfg_compiler.py,sha256=nGQmPYhXzicZ16_-8sgFC-sfLxMFEDSGd1Xf0j7LTK0,9039
 guppylang_internals/compiler/core.py,sha256=5Xitt3L8xwd3XKR_nRCU9fzEVRM9O31t8wnJd56IqKs,25405
-guppylang_internals/compiler/expr_compiler.py,sha256=wLUpKmrnj6EC22U_TNlo6LcXItDwfttNFjc3_IVzgNE,41230
+guppylang_internals/compiler/expr_compiler.py,sha256=KJyR22YjSz9ya3Ug_w4Esgnar3NOQ1zyLoWQR_e-s9E,41282
 guppylang_internals/compiler/func_compiler.py,sha256=0bo28RNsFZDYmllle-yFUXKC0UJsLl2TVjr3gvDMJVA,3377
 guppylang_internals/compiler/hugr_extension.py,sha256=eFUcxzBZoVzXV-AqEOJlh_rJkyuS3vFv1WKGOHjloJs,7966
 guppylang_internals/compiler/qtm_platform_extension.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
@@ -92,7 +92,7 @@ guppylang_internals/tys/printing.py,sha256=F60SZsvqDRNMQSbgNDfBDt2pYQH2ueaZo7Obm
 guppylang_internals/tys/subst.py,sha256=REFbw2POB6wGw-NBOZ4K4T6gE5FZe6nQ_VjcUmhOxCs,3430
 guppylang_internals/tys/ty.py,sha256=ejvC8fg-BpaCf0Cs9sZIBjaKW2yQwapOG_KbThCkoKg,30973
 guppylang_internals/tys/var.py,sha256=zACXv2IvGrqjDryC6lMyZpNnDb3SBRM2SlTOyq6WJdo,1173
-guppylang_internals-0.21.0.dist-info/METADATA,sha256=gz4Hmt44tr3TgBsL6WVhyEqIAG5x0T03dt3rg8KRqkg,14817
-guppylang_internals-0.21.0.dist-info/WHEEL,sha256=qtCwoSJWgHk21S1Kb4ihdzI2rlJ1ZKaIurTj_ngOhyQ,87
-guppylang_internals-0.21.0.dist-info/licenses/LICENCE,sha256=xx0jnfkXJvxRnG63LTGOxlggYnIysveWIZ6H3PNdCrQ,11357
-guppylang_internals-0.21.0.dist-info/RECORD,,
+guppylang_internals-0.21.1.dist-info/METADATA,sha256=ua-2taLysfoPW7pLTNiFXqIlL7OZKen079IamfYEh9M,14817
+guppylang_internals-0.21.1.dist-info/WHEEL,sha256=qtCwoSJWgHk21S1Kb4ihdzI2rlJ1ZKaIurTj_ngOhyQ,87
+guppylang_internals-0.21.1.dist-info/licenses/LICENCE,sha256=xx0jnfkXJvxRnG63LTGOxlggYnIysveWIZ6H3PNdCrQ,11357
+guppylang_internals-0.21.1.dist-info/RECORD,,