summaryrefslogtreecommitdiff
path: root/grammars/testConversions
diff options
context:
space:
mode:
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