From c2eddfeb7f0733b8676ddb22636f1054ae141b33 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Edvard=20Th=C3=B6rnros?= Date: Mon, 8 Mar 2021 17:18:58 +0100 Subject: add more tests to tuples --- progs/tests/tuples.sy | 11 +++++++++++ 1 file changed, 11 insertions(+) (limited to 'progs/tests/tuples.sy') 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 + } } -- cgit v1.2.1