diff options
| author | Edvard Thörnros <edvard.thornros@gmail.com> | 2021-03-08 17:18:58 +0100 |
|---|---|---|
| committer | Edvard Thörnros <edvard.thornros@gmail.com> | 2021-03-08 17:18:58 +0100 |
| commit | c2eddfeb7f0733b8676ddb22636f1054ae141b33 (patch) | |
| tree | d05d23703ff1002c3882d519f53a84c609137e56 | |
| parent | e9282cc37813c2632b2e55329343a6ab233b4cc9 (diff) | |
| download | sylt-c2eddfeb7f0733b8676ddb22636f1054ae141b33.tar.gz | |
add more tests to tuples
| -rw-r--r-- | progs/tests/tuples.sy | 11 |
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 + } } |