Remove the grammars directory. It was full of old grammars that don't compile these days. See the old source distributions if you want them.

9 files changed, 0 insertions, 187 deletions

diff --git a/grammars/ljung/thesis/CopyMorphism.gf b/grammars/ljung/thesis/CopyMorphism.gf
deleted file mode 100644
index 71faf1d99..000000000
--- a/grammars/ljung/thesis/CopyMorphism.gf
+++ /dev/null
@@ -1,22 +0,0 @@
-
--- the example 4.1 from Ljunglöf (2004, page 82) 
-
-concrete CopyMorphism of CopyMorphismAbs = {
-
-lincat 
-S = { s : Str };
-A = { s1 : Str; s2 : Str };
-
-lin
-
-f x = { s = x.s1 ++ x.s2 };
-
-g x y = { s1 = x.s1 ++ y.s1;
-      	  s2 = x.s2 ++ y.s2 };
-
-ac = { s1 = "a"; s2 = "c" };
-
-bd = { s1 = "b"; s2 = "d" };
-
-
-}
diff --git a/grammars/ljung/thesis/CopyMorphismAbs.gf b/grammars/ljung/thesis/CopyMorphismAbs.gf
deleted file mode 100644
index 02929f699..000000000
--- a/grammars/ljung/thesis/CopyMorphismAbs.gf
+++ /dev/null
@@ -1,15 +0,0 @@
-
--- the example 4.1 from Ljunglöf (2004, page 82) 
-
-abstract CopyMorphismAbs = {
-
-cat S; A;
-
-fun
-
-f  : A -> S;
-g  : A -> A -> A;
-ac : A;
-bd : A;
-
-}
diff --git a/grammars/ljung/thesis/Erasing.gf b/grammars/ljung/thesis/Erasing.gf
deleted file mode 100644
index 8b393eec8..000000000
--- a/grammars/ljung/thesis/Erasing.gf
+++ /dev/null
@@ -1,26 +0,0 @@
-
--- the example 4.1 from Ljunglöf (2004, page 82) 
-
-concrete Erasing of ErasingAbs = {
-
-lincat 
-S = { s : Str };
-A = { s1 : Str; s2 : Str };
-B = { s : Str };
-C = { s : Str };
-
-lin
-
-f x = { s = x.s1 };
-
-g x y z = { s1 = x.s2 ++ y.s;
-      	    s2 = x.s1 ++ z.s };
-
-a = { s1 = "a1"; s2 = "a2" };
-
-b = { s = "b" };
-
-c = { s = "c" };
-
-
-}
diff --git a/grammars/ljung/thesis/ErasingAbs.gf b/grammars/ljung/thesis/ErasingAbs.gf
deleted file mode 100644
index 7b42b8863..000000000
--- a/grammars/ljung/thesis/ErasingAbs.gf
+++ /dev/null
@@ -1,21 +0,0 @@
-
--- the example 4.1 from Ljunglöf (2004, page 82) 
-
-abstract ErasingAbs = {
-
-cat S; A; B; C;
-
-fun
-
-f : A -> S;
-
-g : A -> B -> C -> A;
-
-a : A;
-
-b : B;
-
-c : C;
-
-
-}
diff --git a/grammars/ljung/thesis/FragmentAbstract.gf b/grammars/ljung/thesis/FragmentAbstract.gf
deleted file mode 100644
index 43653a933..000000000
--- a/grammars/ljung/thesis/FragmentAbstract.gf
+++ /dev/null
@@ -1,19 +0,0 @@
-
-abstract FragmentAbstract = {
-
-flags startcat=NP;
-
-cat S; NP; VP; D; N; V;
-
-fun
-
-s_p      : NP -> VP -> S;
-np_d 	 : D  -> N  -> NP;
-np_p 	 : N  	    -> NP;
-vp_t 	 : V  -> NP -> VP;
-d_a, d_m : D;
-n_c, n_f : N;
-v_e, v_h : V;
-
-}
-
diff --git a/grammars/ljung/thesis/FragmentNumber.gf b/grammars/ljung/thesis/FragmentNumber.gf
deleted file mode 100644
index dafe9a2b7..000000000
--- a/grammars/ljung/thesis/FragmentNumber.gf
+++ /dev/null
@@ -1,29 +0,0 @@
-
-concrete FragmentNumber of FragmentAbstract = open FragmentResource in {
-
-flags startcat= S;
-
-lincat 
-
-N  = { s : Num => Str };
-V  = { s : Num => Str };
-VP = { s : Num => Str };
-
-D  = { s : Str; n : Num };
-NP = { s : Str; n : Num };
-
-lin
-
-s_p  x y = { s = x.s ++ y.s!x.n };
-np_d x y = { s = x.s ++ y.s!x.n; n = x.n };
-np_p x   = { s = x.s!Pl; n = Pl };
-vp_t x y = { s = table { z => x.s!z ++ y.s } };
-d_a    	 = { s = "a"; n = Sg };
-d_m	 = { s = "many"; n = Pl };
-n_c	 = { s = table { Sg => "lion"; Pl => "lions" } };
-n_f	 = { s = table { _ => "fish" } };
-v_e	 = { s = table { Sg => "eats" ; Pl => "eat" } };
-v_h	 = { s = table { Sg => "hunts" ; Pl => "hunt" } };
-
-}
-
diff --git a/grammars/ljung/thesis/FragmentResource.gf b/grammars/ljung/thesis/FragmentResource.gf
deleted file mode 100644
index 154b50a52..000000000
--- a/grammars/ljung/thesis/FragmentResource.gf
+++ /dev/null
@@ -1,10 +0,0 @@
-
-resource FragmentResource = {
-
-param 
-
-Num   = Sg  | Pl;
-Gen   = Neu | Utr;
-Order = Dir | Indir | Sub | Top;
-
-}
diff --git a/grammars/ljung/thesis/FragmentSimple.gf b/grammars/ljung/thesis/FragmentSimple.gf
deleted file mode 100644
index 7de175ffe..000000000
--- a/grammars/ljung/thesis/FragmentSimple.gf
+++ /dev/null
@@ -1,18 +0,0 @@
-
-concrete FragmentSimple of FragmentAbstract = {
-
-lin
-
-s_p  x y = { s = x.s ++ y.s };
-np_d x y = { s = x.s ++ y.s };
-np_p x   = { s = x.s };
-vp_t x y = { s = x.s ++ y.s };
-d_a    	 = { s = "a" };
-d_m	 = { s = "many" };
-n_c	 = { s = variants { "lion" ; "lions" } };
-n_f	 = { s = "fish" };
-v_e	 = { s = variants { "eats" ; "eat" } };
-v_h	 = { s = variants { "hunts" ; "hunt" } };
-
-}
-
diff --git a/grammars/ljung/thesis/FragmentSwedish.gf b/grammars/ljung/thesis/FragmentSwedish.gf
deleted file mode 100644
index 587be7136..000000000
--- a/grammars/ljung/thesis/FragmentSwedish.gf
+++ /dev/null
@@ -1,27 +0,0 @@
-
-concrete FragmentSwedish of FragmentAbstract = open FragmentResource in {
-
-lincat 
-
-S  = { s : Order => Str };
-VP = { s1 : Str; s2 : Str };
-N  = { s : Num => Str; g : Gen };
-D  = { s : Gen => Str; n : Num };
-
-lin
-
-s_p  x y = { s = table { Indir => y.s1 ++ x.s ++ y.s2; 
-       	       	       	 Top   => y.s2 ++ y.s1 ++ x.s;
-       	       	       	 _     => x.s ++ y.s1 ++ y.s2 } };
-np_d x y = { s = x.s!y.g ++ y.s!x.n };
-np_p x   = { s = x.s!Pl };
-vp_t x y = { s1 = x.s; s2 = y.s };
-d_a    	 = { s = table { Utr => "en"; Neu => "ett" }; n = Sg };
-d_m	 = { s = table { _ => "maanga" }; n = Pl };
-n_c	 = { s = table { _ => "lejon" }; g = Neu };
-n_f	 = { s = table { Sg => "fisk"; Pl => "fiskar" }; g = Utr };
-v_e	 = { s = "aeter" };
-v_h	 = { s = "jagar" };
-
-}
-