From 9142fcff76eabaabe984760c211be1a0f31bcb55 Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Sat, 13 Jun 2009 13:54:06 +0000
Subject: split the testsuite to different directories for compiler, runtime
 and libraries

---
 testsuite/check/lins/lins.gf       |  9 ---------
 testsuite/check/lins/lins.gfs      |  2 --
 testsuite/check/lins/lins.gfs.gold | 17 -----------------
 testsuite/check/lins/linsCnc.gf    | 11 -----------
 4 files changed, 39 deletions(-)
 delete mode 100644 testsuite/check/lins/lins.gf
 delete mode 100644 testsuite/check/lins/lins.gfs
 delete mode 100644 testsuite/check/lins/lins.gfs.gold
 delete mode 100644 testsuite/check/lins/linsCnc.gf

(limited to 'testsuite/check')

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
-- 
cgit v1.2.3