diff options
| author | krasimir <krasimir@chalmers.se> | 2010-04-30 19:27:53 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-04-30 19:27:53 +0000 |
| commit | af5f12d67261ce4bafcdec44adba8b60cc01c95c (patch) | |
| tree | fad035a47d6ac82d94dfb3873c77135f0b46c911 /testsuite/compiler/check/lins | |
| parent | 329c39b4d4e90a517b1e19aaed7d4d1494e7d475 (diff) | |
upgrade the testsuite to work with GHC 6.12
Diffstat (limited to 'testsuite/compiler/check/lins')
| -rw-r--r-- | testsuite/compiler/check/lins/lins.gfs.gold | 74 |
1 files changed, 37 insertions, 37 deletions
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"]
+}
|