remove defaults

CQCL · Jan 10, 2024 · c10daee · c10daee
1 parent 33a7a50
commit c10daee
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/guppy/hugr/tys.py b/guppy/hugr/tys.py
@@ -23,7 +23,7 @@ class TypeParam(BaseModel):
 
 class BoundedNatParam(BaseModel):
     tp: Literal["BoundedNat"] = "BoundedNat"
-    bound: int | None = None
+    bound: int | None
 
 
 class OpaqueParam(BaseModel):

diff --git a/guppy/hugr/val.py b/guppy/hugr/val.py
@@ -18,7 +18,7 @@ class FunctionVal(BaseModel):
     """A higher-order function value."""
 
     v: Literal["Function"] = "Function"
-    hugr: Any = None  # TODO
+    hugr: Any # TODO
 
 
 class Tuple(BaseModel):