split the testsuite to different directories for compiler, runtime and libraries

4 files changed, 39 insertions, 0 deletions

diff --git a/testsuite/compiler/check/lins/lins.gf b/testsuite/compiler/check/lins/lins.gf
new file mode 100644
index 000000000..9da3058d9
--- /dev/null
+++ b/testsuite/compiler/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/compiler/check/lins/lins.gfs b/testsuite/compiler/check/lins/lins.gfs
new file mode 100644
index 000000000..f84b865d9
--- /dev/null
+++ b/testsuite/compiler/check/lins/lins.gfs
@@ -0,0 +1,2 @@
+i -src -erasing=on testsuite/compiler/check/lins/linsCnc.gf

+pg -printer=pmcfg_pretty

diff --git a/testsuite/compiler/check/lins/lins.gfs.gold b/testsuite/compiler/check/lins/lins.gfs.gold
new file mode 100644
index 000000000..bce4d9d05
--- /dev/null
+++ b/testsuite/compiler/check/lins/lins.gfs.gold
@@ -0,0 +1,17 @@
+checking module linsCnc


+Warning: no linearization type for C, inserting default {s : Str}


+checking module linsCnc


+Warning: no linearization of test


+


+language linsCnc


+productions


+  C1 -> F0[]


+functions


+  F0 := () [zero]


+sequences


+startcats


+  C := [C0]


+  Float := [Float]


+  Int := [Int]


+  Nat := [C1]


+  String := [String]


diff --git a/testsuite/compiler/check/lins/linsCnc.gf b/testsuite/compiler/check/lins/linsCnc.gf
new file mode 100644
index 000000000..3d430f5a0
--- /dev/null
+++ b/testsuite/compiler/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