1 files changed, 11 insertions, 0 deletions
diff --git a/progs/tests/tuples.sy b/progs/tests/tuples.sy
index 74f2701..51f0b37 100644
--- a/progs/tests/tuples.sy
+++ b/progs/tests/tuples.sy
@@ -9,4 +9,15 @@ start :: fn {
     empty := ()
     c := (empty,)
     c[0] <=> ()
+
+    a := (1,2)
+    a[0] <=> a[1]
+
+    {
+        q := a[0]
+        w := a[0]
+        q + w
+        q - w
+        q * w
+    }
 }