4 files changed, 34 insertions, 0 deletions
diff --git a/testsuite/check/lins/lins.gf b/testsuite/check/lins/lins.gf
new file mode 100644
index 000000000..9da3058d9
--- /dev/null
+++ b/testsuite/check/lins/lins.gf
@@ -0,0 +1,9 @@
+abstract lins = {
+
+cat Nat ;
+cat C Nat ;
+
+fun zero : Nat ;
+    test : C zero ;
+
+}
+\ No newline at end of file
diff --git a/testsuite/check/lins/lins.gfs b/testsuite/check/lins/lins.gfs
new file mode 100644
index 000000000..acc22574b
--- /dev/null
+++ b/testsuite/check/lins/lins.gfs
@@ -0,0 +1,2 @@
+i -erasing=on testsuite\check\lins\linsCnc.gf
+pg -printer=pmcfg_pretty
diff --git a/testsuite/check/lins/lins.gfs.gold b/testsuite/check/lins/lins.gfs.gold
new file mode 100644
index 000000000..31f6d1f64
--- /dev/null
+++ b/testsuite/check/lins/lins.gfs.gold
@@ -0,0 +1,12 @@
+language linsCnc
+productions
+  C1 -> F0[]
+functions
+  F0 := () [zero]
+sequences
+startcats
+  C := [C0]
+  Float := [Float]
+  Int := [Int]
+  Nat := [C1]
+  String := [String]
diff --git a/testsuite/check/lins/linsCnc.gf b/testsuite/check/lins/linsCnc.gf
new file mode 100644
index 000000000..3d430f5a0
--- /dev/null
+++ b/testsuite/check/lins/linsCnc.gf
@@ -0,0 +1,11 @@
+concrete linsCnc of lins = {
+
+lincat Nat =  {} ;
+
+-- we expect warnings because the lines bellow are commented out
+-- we don't expect warning for zero because Nat = {}
+
+-- lincat C = {s : Str} ;
+-- lin test = {s = "test"} ;
+
+}
+\ No newline at end of file