From 2aea03a6144f71977fbea7c0c777d21e7f6572fb Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Mon, 25 Oct 2010 11:50:41 +0000
Subject: update the testsuite to the latest state of the compiler/interpreter

---
 testsuite/compiler/check/lins/lins.gfs.gold | 30 +++++++++++++++--------------
 1 file changed, 16 insertions(+), 14 deletions(-)

(limited to 'testsuite/compiler/check')

diff --git a/testsuite/compiler/check/lins/lins.gfs.gold b/testsuite/compiler/check/lins/lins.gfs.gold
index 14b08a591..149912bde 100644
--- a/testsuite/compiler/check/lins/lins.gfs.gold
+++ b/testsuite/compiler/check/lins/lins.gfs.gold
@@ -2,25 +2,26 @@ checking module linsCnc
    Warning: no linearization type for C, inserting default {s : Str}
    Warning: no linearization of test
 abstract lins {
-  cat C Nat
-  cat Float
-  cat Int
-  cat Nat
-  cat String
-  fun test : C zero
-  fun zero : Nat
+  cat C Nat ;
+  cat Float ;
+  cat Int ;
+  cat Nat ;
+  cat String ;
+  fun test : C zero ;
+  fun zero : Nat ;
 }
 concrete linsCnc {
   productions
-    C0 -> F0[CVar]
-    C1 -> F1[CVar]
     C1 -> F2[]
-  functions
-    F0 := (S0) [__gfV]
-    F1 := () [__gfV]
+  lindefs
+    C0 -> F0
+    C1 -> F1
+  lin
+    F0 := (S0) [lindef C]
+    F1 := () [lindef Nat]
     F2 := () [zero]
   sequences
-    S0 := <0,0>
+    S0 := {0,0}
   categories
     C := range  [C0 .. C0]
          labels ["s"]
@@ -33,5 +34,6 @@ concrete linsCnc {
     String := range  [CString .. CString]
               labels ["s"]
     __gfVar := range  [CVar .. CVar]
-               labels ["s"]
+               labels [""]
+  printnames
 }
-- 
cgit v1.2.3