From 39e47cc62ca5372fcac20aceb94a200419281a53 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Edvard=20Th=C3=B6rnros?= Date: Mon, 8 Mar 2021 17:46:06 +0100 Subject: fix the tests --- progs/tests/tuples.sy | 8 ++++---- 1 file 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 -- cgit v1.2.1