Add tests

Author: mark-koch

tests/error/comprehension_errors/used_twice3.err

@@ -3,13 +3,7 @@ Error: Copy violation (at $FILE:13:12)
 11 | @guppy
 12 | def foo(qs: list[qubit] @owned) -> list[qubit]:
 13 |     return [q for q in qs for x in bar(q)]
-   |             ^ Variable `q` with non-copyable type `qubit` cannot be moved
-   |               ...
-
-Note:
-   | 
-12 | def foo(qs: list[qubit] @owned) -> list[qubit]:
-13 |     return [q for q in qs for x in bar(q)]
-   |                                        - Variable `q` already consumed here
+   |             ^ Variable `q` with non-copyable type `qubit` would be moved
+   |               multiple times when evaluating this comprehension
 
 Guppy compilation failed due to 1 previous error

tests/error/inout_errors/field_already_used.err

@@ -0,0 +1,15 @@
+Error: Copy violation (at $FILE:26:8)
+   | 
+24 | def test(s: MyStruct1 @owned) -> None:
+25 |     use(s.x)
+26 |     foo(s.x)
+   |         ^^^ Field `s.x` cannot be borrowed ...
+
+Note:
+   | 
+24 | def test(s: MyStruct1 @owned) -> None:
+25 |     use(s.x)
+   |         --- ... since field `s.x` with non-copyable type `MyStruct2` was
+   |             already consumed here
+
+Guppy compilation failed due to 1 previous error

tests/error/inout_errors/field_already_used.py

@@ -0,0 +1,29 @@
+from guppylang.decorator import guppy
+from guppylang.std.builtins import owned
+
+
+@guppy.struct(frozen=True)
+class MyStruct1:
+    x: "MyStruct2"
+
+
+@guppy.struct(frozen=False)
+class MyStruct2:
+    y: int
+
+
+@guppy.declare
+def foo(s: MyStruct2) -> None: ...
+
+
+@guppy.declare
+def use(s: MyStruct2 @owned) -> None: ...
+
+
+@guppy
+def test(s: MyStruct1 @owned) -> None:
+    use(s.x)
+    foo(s.x)
+
+
+test.compile()

tests/error/inout_errors/field_borrow_twice.err

@@ -0,0 +1,15 @@
+Error: Copy violation (at $FILE:21:13)
+   | 
+19 | @guppy
+20 | def test(s: MyStruct1 @owned) -> None:
+21 |     foo(s.x, s.x)
+   |              ^^^ Field `s.x` cannot be borrowed ...
+
+Note:
+   | 
+20 | def test(s: MyStruct1 @owned) -> None:
+21 |     foo(s.x, s.x)
+   |         --- ... since field `s.x` with non-copyable type `MyStruct2` was
+   |             already borrowed here
+
+Guppy compilation failed due to 1 previous error

tests/error/inout_errors/field_borrow_twice.py

@@ -0,0 +1,24 @@
+from guppylang.decorator import guppy
+from guppylang.std.builtins import owned
+
+
+@guppy.struct(frozen=True)
+class MyStruct1:
+    x: "MyStruct2"
+
+
+@guppy.struct(frozen=False)
+class MyStruct2:
+    y: int
+
+
+@guppy.declare
+def foo(s: MyStruct2, t: MyStruct2) -> None: ...
+
+
+@guppy
+def test(s: MyStruct1 @owned) -> None:
+    foo(s.x, s.x)
+
+
+test.compile()

tests/error/linear_errors/affine_struct_array.err

@@ -0,0 +1,12 @@
+Error: Subscript returned (at $FILE:12:11)
+   | 
+10 | @guppy
+11 | def foo(xs: array[MyStruct, 20]) -> MyStruct:
+12 |     return xs[0]
+   |            ^^^^^ Cannot return a subscript of `xs` with non-copyable type
+   |                  `array[MyStruct, 20]`
+
+Note: Subscripts on non-copyable types are only allowed to be borrowed, not
+returned
+
+Guppy compilation failed due to 1 previous error

tests/error/linear_errors/affine_struct_array.py

@@ -0,0 +1,14 @@
+from guppylang.decorator import guppy
+from guppylang.std.builtins import array
+
+
+@guppy.struct(frozen=False)
+class MyStruct:
+    x: int
+
+
+@guppy
+def foo(xs: array[MyStruct, 20]) -> MyStruct:
+    return xs[0]
+
+foo.compile()

tests/error/linear_errors/mutable_affine_struct1.err

@@ -0,0 +1,15 @@
+Error: Copy violation (at $FILE:13:11)
+   | 
+11 | def foo(s: MyStruct @owned) -> MyStruct:
+12 |     t = s
+13 |     return s
+   |            ^ Variable `s` cannot be returned ...
+
+Note:
+   | 
+11 | def foo(s: MyStruct @owned) -> MyStruct:
+12 |     t = s
+   |         - ... since variable `s` with non-copyable type `MyStruct` was
+   |           already moved here
+
+Guppy compilation failed due to 1 previous error

tests/error/linear_errors/mutable_affine_struct1.py

@@ -0,0 +1,16 @@
+from guppylang.decorator import guppy
+from guppylang.std.builtins import owned
+
+
+@guppy.struct(frozen=False)
+class MyStruct:
+    x: int
+
+
+@guppy
+def foo(s: MyStruct @owned) -> MyStruct:
+    t = s
+    return s
+
+
+foo.compile()

tests/error/linear_errors/mutable_affine_struct2.err

@@ -0,0 +1,15 @@
+Error: Copy violation (at $FILE:14:11)
+   | 
+12 |     if b:
+13 |         t = s
+14 |     return s
+   |            ^ Field `s.x` cannot be returned ...
+
+Note:
+   | 
+12 |     if b:
+13 |         t = s
+   |             - ... since variable `s` with non-copyable type `MyStruct` was
+   |               already moved here
+
+Guppy compilation failed due to 1 previous error