summaryrefslogtreecommitdiff
path: root/grammars/testConversions
diff options
context:
space:
mode:
authorbjorn <bjorn@bringert.net>2008-08-14 07:58:04 +0000
committerbjorn <bjorn@bringert.net>2008-08-14 07:58:04 +0000
commit77270a010a0b453e9a84c3e62db7cfd22e49d55d (patch)
treed17682a545d6ac1e68ff49b8c20964182794baf7 /grammars/testConversions
parent0bbb906141711767678f82b15a7b43e65e0b5bd6 (diff)
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.
Diffstat (limited to 'grammars/testConversions')
-rw-r--r--grammars/testConversions/MicroAbs.gf10
-rw-r--r--grammars/testConversions/MicroCnc.gf14
-rw-r--r--grammars/testConversions/SimpleAbs.gf27
-rw-r--r--grammars/testConversions/SimpleEng.gf34
-rw-r--r--grammars/testConversions/SimpleEngRes.gf8
-rw-r--r--grammars/testConversions/SimpleSwe.gf63
-rw-r--r--grammars/testConversions/SimpleSweRes.gf28
-rw-r--r--grammars/testConversions/TestVars.gf43
-rw-r--r--grammars/testConversions/TestVarsA.gf24
-rw-r--r--grammars/testConversions/TestVarsR.gf28
-rw-r--r--grammars/testConversions/TimeFlies.gf24
-rw-r--r--grammars/testConversions/TimeFliesAbs.gf27
-rw-r--r--grammars/testConversions/TimeFliesCnc.gf2
13 files changed, 0 insertions, 332 deletions
diff --git a/grammars/testConversions/MicroAbs.gf b/grammars/testConversions/MicroAbs.gf
deleted file mode 100644
index 64cada72e..000000000
--- a/grammars/testConversions/MicroAbs.gf
+++ /dev/null
@@ -1,10 +0,0 @@
-
-abstract MicroAbs = {
-
-cat A;
-
-fun
-a, ab : A;
-redup : A -> A;
-
-}
diff --git a/grammars/testConversions/MicroCnc.gf b/grammars/testConversions/MicroCnc.gf
deleted file mode 100644
index ed4891c7d..000000000
--- a/grammars/testConversions/MicroCnc.gf
+++ /dev/null
@@ -1,14 +0,0 @@
-
-concrete MicroCnc of MicroAbs = {
-
-lincat
-A = {s : Str};
-
-lin
-a = {s = "a"};
-ab = {s = variants{"c";"b"}};
-redup x = {s = x.s ++ x.s};
-
-}
-
-
diff --git a/grammars/testConversions/SimpleAbs.gf b/grammars/testConversions/SimpleAbs.gf
deleted file mode 100644
index f22977ca3..000000000
--- a/grammars/testConversions/SimpleAbs.gf
+++ /dev/null
@@ -1,27 +0,0 @@
-
-abstract SimpleAbs = {
-
-cat
-S; VP; NP; V; N; D; P; PP;
-
-fun
--- cyclic : S -> S;
-mkS : NP -> VP -> S;
-mkVP : V -> NP -> VP;
-mkNP1 : D -> N -> NP;
-mkNP2 : N -> NP;
-mkNP3 : NP -> PP -> NP;
-mkPP : NP -> P -> PP;
-
-robin : NP;
-dog : N;
-child : N;
-love : V;
-hate : V;
-one : D;
-all : D;
-inside : P;
-
-}
-
-
diff --git a/grammars/testConversions/SimpleEng.gf b/grammars/testConversions/SimpleEng.gf
deleted file mode 100644
index 07bee5a70..000000000
--- a/grammars/testConversions/SimpleEng.gf
+++ /dev/null
@@ -1,34 +0,0 @@
-
-concrete SimpleEng of SimpleAbs = open SimpleEngRes in {
-
-lincat
-S = {s : Str};
-VP = {s : Num => Str};
-NP = {s : Str ; n : Num};
-V = {s : Num => Str};
-N = {s : Num => Str};
-D = {s : Str ; n : Num};
-P = {s : Str};
-PP = {s : Str};
-
-lin
-cyclic x = x;
-mkS x y = {s = x.s ++ y.s ! x.n};
-mkVP x y = {s = table {n => x.s ! n ++ y.s}};
-mkNP1 x y = {s = x.s ++ y.s ! x.n ; n = x.n};
-mkNP2 x = {s = x.s ! Pl ; n = Pl};
-mkNP3 x y = {s = x.s ++ y.s; n = x.n};
-mkPP x y = {s = y.s ++ x.s};
-
-robin = {s = "Robin" ; n = Sg};
-dog = {s = table {Sg => "dog" ; Pl => "dogs"}};
-child = {s = table {Sg => "child" ; Pl => "children"}};
-love = {s = table {Sg => "loves" ; Pl => "love"}};
-hate = {s = table {Sg => "hates" ; Pl => "hate"}};
-one = {s = "one" ; n = Sg};
-all = {s = "all" ; n = Pl};
-inside= {s = "in"};
-
-}
-
-
diff --git a/grammars/testConversions/SimpleEngRes.gf b/grammars/testConversions/SimpleEngRes.gf
deleted file mode 100644
index 21b7e7c3e..000000000
--- a/grammars/testConversions/SimpleEngRes.gf
+++ /dev/null
@@ -1,8 +0,0 @@
-
-resource SimpleEngRes = {
-
-param Num = Sg | Pl;
-
-}
-
-
diff --git a/grammars/testConversions/SimpleSwe.gf b/grammars/testConversions/SimpleSwe.gf
deleted file mode 100644
index 273f6c6ba..000000000
--- a/grammars/testConversions/SimpleSwe.gf
+++ /dev/null
@@ -1,63 +0,0 @@
-
-concrete SimpleSwe of SimpleAbs = open SimpleSweRes in {
-
-lincat
-S = {s : Str};
-VP = {s : Str};
-NP = {s : Str};
-V = {s : Str};
-N = {s : Num => Str ; g : Gen};
-D = {s : Gen => Str ; n : Num};
-PP = {s : Str};
-P = {s : Str};
-
-lin
--- cyclic x = x;
-mkS x y = {s = x.s ++ y.s};
-mkVP x y = {s = x.s ++ y.s};
-mkNP1 x y = {s = x.s ! y.g ++ y.s ! x.n};
-mkNP2 x = {s = x.s ! Pl};
-mkNP3 x y = {s = x.s ++ y.s};
-mkPP x y = {s = y.s ++ x.s};
-
-robin = {s = "Robin"};
-dog = {s = table {Sg => "hund" ; Pl => "hundar"} ; g = Utr};
-child = {s = table {_ => "barn"} ; g = Neu};
-love = {s = "älskar"};
-hate = {s = variants{"hatar"; "avskyr"}};
-one = {s = variants{table {Utr => "en" ; Neu => "ett"};
- table {Utr => "någon" ; Neu => "något"}} ; n = Sg};
-all = {s = table {_ => "alla"} ; n = Pl};
-inside = {s = variants{"i"; "inuti"}};
-
-}
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/grammars/testConversions/SimpleSweRes.gf b/grammars/testConversions/SimpleSweRes.gf
deleted file mode 100644
index 64f4b2a43..000000000
--- a/grammars/testConversions/SimpleSweRes.gf
+++ /dev/null
@@ -1,28 +0,0 @@
-
-resource SimpleSweRes = {
-
-param Num = Sg | Pl;
-param Gen = Utr | Neu;
-param NumGen = NG Num Gen;
-
-}
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/grammars/testConversions/TestVars.gf b/grammars/testConversions/TestVars.gf
deleted file mode 100644
index c28810e64..000000000
--- a/grammars/testConversions/TestVars.gf
+++ /dev/null
@@ -1,43 +0,0 @@
-
--- param Num = Sg | Pl;
--- param Gen = Utr | Neu;
--- param NumGen = NG Num Gen;
-
-concrete TestVars of TestVarsA = open TestVarsR in {
-
--- lincat S = { s : Str; n : Num };
--- lincat A = { s1 : Str; s2 : Num => Str ; g : Gen };
--- lincat B = { s : Str; n : Num };
--- lin a x = { s = table { Sg => "sg" ; Pl => "pl" } ! x.n ++ x.s ; n = x.n };
--- lin b x y = { s = table { Neu => variants{"neu";"NEU"} ; Utr => "utr" } ! x.g;
--- n = variants { y.n ; Sg } };
--- lin c = { s = variants{"a";"A"} ++ variants{"b";"B"} ++ variants{"c";"C"}; n = Sg };
-
--- lincat V = { a : { s1 : Str ; s2 : Str } };
--- lincat W = { s1 : Str ; ng:{n:Num;g:Gen} ; s2 : Str };
--- lin v = { a = variants { {s1="a1";s2="a2"} ; {s1="b1";s2=variants{}} } };
--- lin w = variants { {s1="a1";ng=variants{};s2="a2"} ;
--- {s1="b1";ng=variants{{n=Pl;g=Utr};{n=Sg;g=Neu}};s2="b2"} };
-
--- lincat E = { a : { b : {s1:Str; s2:Str} ; c : {n:Num;g:Gen} }; d:{e:{f:{s:Str}}} };
--- lin e = { a = { b = {s1="1"; s2="2"} ; c = {n=Sg ;g=Utr} }; d={e={f={s="s"}}} };
--- lin f x = { a = { b = {s1=x.d.e.f.s;s2=x.a.b.s1}; c = {n=x.a.c.n;g=Neu}};
--- d={e={f={s="s"++x.a.b.s2}}} };
-
-lincat S = { s : Str };
-lin
---s = { s = variants { "a" ; "b" ; "c" } };
---e = { s = variants { "e" ; "f" } };
-e = { s = "e" };
-ee x = { s = x.s ++ x.s };
-f = { s = "g" };
-ff x = { s = "e" ++ x.s };
-
-
--- lincat D = { s1 : Str; s2 : Str };
-
-
-
-
-}
-
diff --git a/grammars/testConversions/TestVarsA.gf b/grammars/testConversions/TestVarsA.gf
deleted file mode 100644
index 1b34ddef1..000000000
--- a/grammars/testConversions/TestVarsA.gf
+++ /dev/null
@@ -1,24 +0,0 @@
-
-abstract TestVarsA = {
-
--- cat S; A; B;
--- fun a : B -> S;
--- fun b : A -> B -> S;
--- fun c : S;
-
--- cat V; W;
--- fun v : V;
--- fun w : W;
-
-cat S;
---fun s : S;
-fun e : S;
-fun ee : S -> S;
-fun f : S;
-fun ff : S -> S;
-
--- cat D;
--- fun d : D;
--- fun dd : D -> D;
-}
-
diff --git a/grammars/testConversions/TestVarsR.gf b/grammars/testConversions/TestVarsR.gf
deleted file mode 100644
index d56d56603..000000000
--- a/grammars/testConversions/TestVarsR.gf
+++ /dev/null
@@ -1,28 +0,0 @@
-
-resource TestVarsR = {
-
-param Num = Sg | Pl;
-param Gen = Utr | Neu;
-param NumGen = NG Num Gen;
-
-}
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/grammars/testConversions/TimeFlies.gf b/grammars/testConversions/TimeFlies.gf
deleted file mode 100644
index f46592b55..000000000
--- a/grammars/testConversions/TimeFlies.gf
+++ /dev/null
@@ -1,24 +0,0 @@
-
-concrete TimeFlies of TimeFliesAbs = {
-
-lin
-s1 x y = {s = x.s ++ y.s};
-vp1 x = {s = x.s};
-vp2 x y = {s = x.s ++ y.s};
-vp3 x y = {s = x.s ++ y.s};
-np1 x = {s = x.s};
-np2 x y = {s = x.s ++ y.s};
-np3 x y = {s = x.s ++ y.s};
-pp1 x y = {s = x.s ++ y.s};
-
-flyV = {s = "flies"};
-timeV = {s = "time"};
-likeV = {s = "like"};
-flyN = {s = "flies"};
-timeN = {s = "time"};
-arrowN = {s = "arrow"};
-anD = {s = "an"};
-timeD = {s = "time"};
-likeP = {s = "like"};
-
-}
diff --git a/grammars/testConversions/TimeFliesAbs.gf b/grammars/testConversions/TimeFliesAbs.gf
deleted file mode 100644
index fe52f82b6..000000000
--- a/grammars/testConversions/TimeFliesAbs.gf
+++ /dev/null
@@ -1,27 +0,0 @@
-
-abstract TimeFliesAbs = {
-
-cat
-S; VP; NP; PP; V; N; D; P;
-
-fun
-s1 : NP -> VP -> S;
-vp1 : V -> VP;
-vp2 : V -> NP -> VP;
-vp3 : VP -> PP -> VP;
-np1 : N -> NP;
-np2 : D -> N -> NP;
-np3 : NP -> PP -> NP;
-pp1 : P -> NP -> PP;
-
-flyV : V;
-timeV : V;
-likeV : V;
-flyN : N;
-timeN : N;
-arrowN : N;
-anD : D;
-timeD : D;
-likeP : P;
-}
-
diff --git a/grammars/testConversions/TimeFliesCnc.gf b/grammars/testConversions/TimeFliesCnc.gf
deleted file mode 100644
index 5952dda49..000000000
--- a/grammars/testConversions/TimeFliesCnc.gf
+++ /dev/null
@@ -1,2 +0,0 @@
-
-resource