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

7 files changed, 0 insertions, 121 deletions

diff --git a/testsuite/paraphrase/City.gf b/testsuite/paraphrase/City.gf
deleted file mode 100644
index 2ea8a10ff..000000000
--- a/testsuite/paraphrase/City.gf
+++ /dev/null
@@ -1,26 +0,0 @@
-abstract City = {
-
-cat S ; City ; Country ; Adj ;
-
-data
-  PredIn : City -> Country -> S ;
-fun
-  PredAdj    : City -> Adj -> S ;
-  Capital    : Country -> City ;
-  CountryAdj : Adj -> Country ;
-data
-  Stockholm, Helsinki : City ;
-  Sweden, Finland : Country ;
-  Swedish, Finnish : Adj ;
-
-def
-  PredAdj city x = PredIn city (CountryAdj x) ;
-
-  Capital Finland = Helsinki ;
-  Capital Sweden = Stockholm ;
-
-  CountryAdj Finnish = Finland ;
-  CountryAdj Swedish = Sweden ;
-
-
-}
diff --git a/testsuite/paraphrase/CityEng.gf b/testsuite/paraphrase/CityEng.gf
deleted file mode 100644
index 39a0974c8..000000000
--- a/testsuite/paraphrase/CityEng.gf
+++ /dev/null
@@ -1,16 +0,0 @@
-concrete CityEng of City = {
-
-lincat S, City, Country, Adj = Str ;
-
-lin
-  PredIn ci co = ci ++ "is in" ++ co ;
-  PredAdj ci ad = ci ++ "is" ++ ad ;
-  Capital co = "the capital of" ++ co ;
-  CountryAdj ad = "the" ++ ad ++ "country" ;
-  Stockholm = "Stockholm" ;
-  Helsinki = "Helsinki" ;
-  Sweden = "Sweden" ;
-  Finland = "Finland" ;
-  Swedish = "Swedish" ;
-  Finnish = "Finnish" ;
-}
diff --git a/testsuite/paraphrase/Nat.gf b/testsuite/paraphrase/Nat.gf
deleted file mode 100644
index b55333472..000000000
--- a/testsuite/paraphrase/Nat.gf
+++ /dev/null
@@ -1,34 +0,0 @@
-abstract Nat = {
-
-cat Nat ;
-
-data 
-  Zero : Nat ;
-  Succ : Nat -> Nat ;
-  
-fun one : Nat ;
-def one = Succ Zero ;
-
-fun plus : Nat -> Nat -> Nat ;
-def plus x Zero = x ;
-def plus x (Succ y) = Succ (plus x y) ;
-
-fun twice : Nat -> Nat ;
-def twice x = plus x x ;
-
-fun times : Nat -> Nat -> Nat ;
-def times x Zero = Zero ;
-def times x (Succ y) = plus (times x y) x ;
-
-fun four : Nat ;
-def four = twice (twice one) ;
-
-fun exp : Nat -> Nat ;
-def exp Zero = one ;
-def exp (Succ x) = twice (exp x) ;
-
-fun plus' : Nat -> Nat -> Nat ;
-def plus' Zero     = \y -> y ;
-def plus' (Succ x) = \y -> Succ (plus x y) ;
-
-}
diff --git a/testsuite/paraphrase/lambda.gf b/testsuite/paraphrase/lambda.gf
deleted file mode 100644
index 3476866c9..000000000
--- a/testsuite/paraphrase/lambda.gf
+++ /dev/null
@@ -1,17 +0,0 @@
-abstract lambda = {

-

-fun f1 : Int -> Int ;

-def f1 = (\x -> x) ;

-

-fun f2 : Int ;

-def f2 = f1 1 ;

-

-cat D ;

-data D1 : D ;

-     D2 : D ;

-

-fun d : D -> Int -> Int ;

-def d D1 = \x -> x ;

-    d D2 = \x -> 2 ;

-

-}
\ No newline at end of file
diff --git a/testsuite/paraphrase/lambda.gfs b/testsuite/paraphrase/lambda.gfs
deleted file mode 100644
index 54b0708cb..000000000
--- a/testsuite/paraphrase/lambda.gfs
+++ /dev/null
@@ -1,9 +0,0 @@
-i testsuite/paraphrase/lambda.gf

-

-pt -compute f1

-pt -compute f2

-

-pt -compute d D1

-pt -compute d D2

-pt -compute d D1 1

-pt -compute d D2 1

diff --git a/testsuite/paraphrase/lambda.gfs.gold b/testsuite/paraphrase/lambda.gfs.gold
deleted file mode 100644
index 0d8f027d6..000000000
--- a/testsuite/paraphrase/lambda.gfs.gold
+++ /dev/null
@@ -1,12 +0,0 @@
-\v0 -> v0


-


-1


-


-\v0 -> v0


-


-\v0 -> 2


-


-1


-


-2


-


diff --git a/testsuite/paraphrase/test.gfs.gold b/testsuite/paraphrase/test.gfs.gold
deleted file mode 100644
index 82b443d48..000000000
--- a/testsuite/paraphrase/test.gfs.gold
+++ /dev/null
@@ -1,7 +0,0 @@
-Succ (Succ Zero)


-


-Succ (Succ (Succ Zero))


-


-Succ (Succ Zero)


-


-unknown variable two