update the testsuite

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

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]
+
+   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]