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

4 files changed, 0 insertions, 39 deletions

diff --git a/testsuite/check/lins/lins.gf b/testsuite/check/lins/lins.gf
deleted file mode 100644
index 9da3058d9..000000000
--- a/testsuite/check/lins/lins.gf
+++ /dev/null
@@ -1,9 +0,0 @@
-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
deleted file mode 100644
index fee8cec0f..000000000
--- a/testsuite/check/lins/lins.gfs
+++ /dev/null
@@ -1,2 +0,0 @@
-i -src -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
deleted file mode 100644
index bce4d9d05..000000000
--- a/testsuite/check/lins/lins.gfs.gold
+++ /dev/null
@@ -1,17 +0,0 @@
-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/check/lins/linsCnc.gf b/testsuite/check/lins/linsCnc.gf
deleted file mode 100644
index 3d430f5a0..000000000
--- a/testsuite/check/lins/linsCnc.gf
+++ /dev/null
@@ -1,11 +0,0 @@
-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