From af5f12d67261ce4bafcdec44adba8b60cc01c95c Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Fri, 30 Apr 2010 19:27:53 +0000
Subject: upgrade the testsuite to work with GHC 6.12

---
 testsuite/compiler/check/lins/lins.gfs.gold | 74 ++++++++++++++---------------
 1 file changed, 37 insertions(+), 37 deletions(-)

(limited to 'testsuite/compiler/check/lins')

diff --git a/testsuite/compiler/check/lins/lins.gfs.gold b/testsuite/compiler/check/lins/lins.gfs.gold
index cdec8fbed..14b08a591 100644
--- a/testsuite/compiler/check/lins/lins.gfs.gold
+++ b/testsuite/compiler/check/lins/lins.gfs.gold
@@ -1,37 +1,37 @@
-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

-}

-concrete linsCnc {

-  productions

-    C0 -> F0[CVar]

-    C1 -> F1[CVar]

-    C1 -> F2[]

-  functions

-    F0 := (S0) [__gfV]

-    F1 := () [__gfV]

-    F2 := () [zero]

-  sequences

-    S0 := <0,0>

-  categories

-    C := range  [C0 .. C0]

-         labels ["s"]

-    Float := range  [CFloat .. CFloat]

-             labels ["s"]

-    Int := range  [CInt .. CInt]

-           labels ["s"]

-    Nat := range  [C1 .. C1]

-           labels []

-    String := range  [CString .. CString]

-              labels ["s"]

-    __gfVar := range  [CVar .. CVar]

-               labels ["s"]

-}

+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
+}
+concrete linsCnc {
+  productions
+    C0 -> F0[CVar]
+    C1 -> F1[CVar]
+    C1 -> F2[]
+  functions
+    F0 := (S0) [__gfV]
+    F1 := () [__gfV]
+    F2 := () [zero]
+  sequences
+    S0 := <0,0>
+  categories
+    C := range  [C0 .. C0]
+         labels ["s"]
+    Float := range  [CFloat .. CFloat]
+             labels ["s"]
+    Int := range  [CInt .. CInt]
+           labels ["s"]
+    Nat := range  [C1 .. C1]
+           labels []
+    String := range  [CString .. CString]
+              labels ["s"]
+    __gfVar := range  [CVar .. CVar]
+               labels ["s"]
+}
-- 
cgit v1.2.3