From e5de8ea9fe981a11ffd2672dd047d107e65b63a0 Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Fri, 29 Jan 2010 11:13:31 +0000
Subject: [PATCH] update the testsuite

---
 testsuite/compiler/check/lins/lins.gfs      |  4 +-
 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"]

+}