diff options
| author | krasimir <krasimir@chalmers.se> | 2010-01-29 11:13:31 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-01-29 11:13:31 +0000 |
| commit | e5de8ea9fe981a11ffd2672dd047d107e65b63a0 (patch) | |
| tree | 913737c979bd6d142b54606bee0025ae9e0e2647 /testsuite/compiler/check/lins | |
| parent | d333c0564b581504ef262d83f383684665fbcf8a (diff) | |
update the testsuite
Diffstat (limited to 'testsuite/compiler/check/lins')
| -rw-r--r-- | testsuite/compiler/check/lins/lins.gfs | 4 | ||||
| -rw-r--r-- | testsuite/compiler/check/lins/lins.gfs.gold | 46 |
2 files changed, 36 insertions, 14 deletions
diff --git a/testsuite/compiler/check/lins/lins.gfs b/testsuite/compiler/check/lins/lins.gfs index f84b865d9..3844db0b2 100644 --- a/testsuite/compiler/check/lins/lins.gfs +++ b/testsuite/compiler/check/lins/lins.gfs @@ -1,2 +1,2 @@ -i -src -erasing=on testsuite/compiler/check/lins/linsCnc.gf
-pg -printer=pmcfg_pretty
+i -src testsuite/compiler/check/lins/linsCnc.gf
+pg -printer=pgf_pretty
diff --git a/testsuite/compiler/check/lins/lins.gfs.gold b/testsuite/compiler/check/lins/lins.gfs.gold index bc3f9ebb0..cdec8fbed 100644 --- a/testsuite/compiler/check/lins/lins.gfs.gold +++ b/testsuite/compiler/check/lins/lins.gfs.gold @@ -1,15 +1,37 @@ checking module linsCnc
Warning: no linearization type for C, inserting default {s : Str}
Warning: no linearization of test
-language linsCnc
-productions
- C1 -> F0[]
-functions
- F0 := () [zero]
-sequences
-startcats
- C := [C0]
- Float := [CFloat]
- Int := [CInt]
- Nat := [C1]
- String := [CString]
+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"]
+}
|