Add hugr string val

guppylang/compiler/expr_compiler.py

@@ -9,6 +9,7 @@
 import hugr.std.float
 import hugr.std.int
 import hugr.std.logic
+import hugr.std.prelude
 from hugr import Hugr, Wire, ops
 from hugr import tys as ht
 from hugr import val as hv
@@ -596,6 +597,8 @@ def python_value_to_hugr(v: Any, exp_ty: Type) -> hv.Value | None:
     match v:
         case bool():
             return hv.bool_value(v)
+        case str():
+            return hugr.std.prelude.StringVal(v)
         case int():
             return hugr.std.int.IntVal(v, width=NumericType.INT_WIDTH)
         case float():

pyproject.toml

@@ -83,7 +83,7 @@ members = ["execute_llvm"]
 execute-llvm = { workspace = true }
 
 # Uncomment these to test the latest dependency version during development
- hugr = { git = "https://github.com/CQCL/hugr", subdirectory = "hugr-py", rev = "e40b6c7" }
+hugr = { git = "https://github.com/CQCL/hugr", subdirectory = "hugr-py", branch = "main" }
 # tket2-exts = { git = "https://github.com/CQCL/tket2", subdirectory = "tket2-exts", rev = "eb7cc63"}
 # tket2 = { git = "https://github.com/CQCL/tket2", subdirectory = "tket2-py", rev = "eb7cc63"}
 

tests/integration/test_strings.py

@@ -12,7 +12,6 @@ def foo(x: str) -> str:
     validate(foo)
 
 
-@pytest.mark.skip("Unsupported, see https://github.com/CQCL/hugr/issues/1817")
 def test_basic_value(validate):
     @compile_guppy
     def foo() -> str:
@@ -22,7 +21,6 @@ def foo() -> str:
     validate(foo)
 
 
-@pytest.mark.skip("Unsupported, see https://github.com/CQCL/hugr/issues/1817")
 def test_struct(validate):
     module = GuppyModule("module")