From 2aea03a6144f71977fbea7c0c777d21e7f6572fb Mon Sep 17 00:00:00 2001 From: krasimir Date: Mon, 25 Oct 2010 11:50:41 +0000 Subject: update the testsuite to the latest state of the compiler/interpreter --- testsuite/runtime/linearize/brackets.gfs.gold | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) (limited to 'testsuite/runtime/linearize') diff --git a/testsuite/runtime/linearize/brackets.gfs.gold b/testsuite/runtime/linearize/brackets.gfs.gold index c853656fd..e356e6521 100644 --- a/testsuite/runtime/linearize/brackets.gfs.gold +++ b/testsuite/runtime/linearize/brackets.gfs.gold @@ -1,28 +1,28 @@ -(S (E (String ?1)) is even) +(S:2 (E:1 (_:0 ?1)) is even) -(S exists (S (String x)) such that (S (S (E (String x)) is even))) +(S:3 exists x such that (S:2 (E:1 (_:0 x)) is even)) -(S (E a)) +(S:1 (E:0 a)) -(S (E aa) a) +(S:1 (E:0 aa) a) -(S (E a) b) +(S:1 (E:0 a) b) -(S (String abcd) is string) +(S:1 (String:0 abcd) is string) -(S (Int 100) is integer) +(S:1 (Int:0 100) is integer) -(S (Float 12.4) is float) +(S:1 (Float:0 12.4) is float) -(S (String xyz) is string) +(S:1 (String:0 xyz) is string) cannot linearize -- cgit v1.2.3