Add py test

CQCL · Dec 20, 2024 · 01c2d1a · 01c2d1a
1 parent 60e17be
commit 01c2d1a
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/tests/integration/test_py.py b/tests/integration/test_py.py
@@ -117,6 +117,14 @@ def foo() -> None:
     validate(foo)
 
 
+def test_strings(validate):
+    @compile_guppy
+    def foo() -> None:
+        x: str = py("a" + "b")
+
+    validate(foo)
+
+
 @pytest.mark.skipif(not tket2_installed, reason="Tket2 is not installed")
 @pytest.mark.skip("Fails because of extensions in types #343")
 def test_pytket_single_qubit(validate):