chore: Bump to Hugr v0.2 (#180)

guppylang/compiler/expr_compiler.py

@@ -327,7 +327,8 @@ def python_value_to_hugr(v: Any, exp_ty: Type) -> val.Value | None:
         case list(elts):
             assert is_list_type(exp_ty)
             return list_value(
-                [python_value_to_hugr(elt, get_element_type(exp_ty)) for elt in elts]
+                [python_value_to_hugr(elt, get_element_type(exp_ty)) for elt in elts],
+                get_element_type(exp_ty).to_hugr(),
             )
         case _:
             # Pytket conversion is an optional feature

guppylang/prelude/_internal.py

@@ -58,7 +58,7 @@ class ListValue(BaseModel):
     """Hugr representation of floats in the arithmetic extension."""
 
     c: Literal["ListValue"] = "ListValue"
-    value: list[Any]
+    value: tuple[list[Any], tys.Type]
 
 
 def bool_value(b: bool) -> val.Value:
@@ -76,9 +76,9 @@ def float_value(f: float) -> val.Value:
     return val.ExtensionVal(c=(ConstF64(value=f),))
 
 
-def list_value(v: list[val.Value]) -> val.Value:
+def list_value(v: list[val.Value], ty: tys.Type) -> val.Value:
     """Returns the Hugr representation of a list value."""
-    return val.ExtensionVal(c=(ListValue(value=v),))
+    return val.ExtensionVal(c=(ListValue(value=(v, ty)),))
 
 
 def logic_op(op_name: str, args: list[tys.TypeArg] | None = None) -> ops.OpType:

validator/Cargo.toml

@@ -10,6 +10,6 @@ crate-type = ["cdylib"]
 
 [dependencies]
 pyo3 = "0.19.0"
-quantinuum-hugr = "0.1.0"
+quantinuum-hugr = "0.2.0"
 lazy_static = "1.4.0"
 serde_json = "1.0.111"