diff options
| author | Edvard Thörnros <edvard.thornros@gmail.com> | 2021-03-08 17:46:06 +0100 |
|---|---|---|
| committer | Edvard Thörnros <edvard.thornros@gmail.com> | 2021-03-08 17:46:06 +0100 |
| commit | 39e47cc62ca5372fcac20aceb94a200419281a53 (patch) | |
| tree | c3ef339ca86840b29ca72373d650ea558d64823b | |
| parent | c2eddfeb7f0733b8676ddb22636f1054ae141b33 (diff) | |
| download | sylt-39e47cc62ca5372fcac20aceb94a200419281a53.tar.gz | |
fix the tests
| -rw-r--r-- | progs/tests/tuples.sy | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/progs/tests/tuples.sy b/progs/tests/tuples.sy index 51f0b37..f2fcfcb 100644 --- a/progs/tests/tuples.sy +++ b/progs/tests/tuples.sy @@ -10,12 +10,12 @@ start :: fn { c := (empty,) c[0] <=> () - a := (1,2) - a[0] <=> a[1] + d := (1,2) + d[0] <=> d[0] { - q := a[0] - w := a[0] + q := d[0] + w := d[0] q + w q - w q * w |