diff options
| author | bjorn <bjorn@bringert.net> | 2008-08-14 07:58:04 +0000 |
|---|---|---|
| committer | bjorn <bjorn@bringert.net> | 2008-08-14 07:58:04 +0000 |
| commit | 77270a010a0b453e9a84c3e62db7cfd22e49d55d (patch) | |
| tree | d17682a545d6ac1e68ff49b8c20964182794baf7 /grammars/testConversions | |
| parent | 0bbb906141711767678f82b15a7b43e65e0b5bd6 (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.gf | 10 | ||||
| -rw-r--r-- | grammars/testConversions/MicroCnc.gf | 14 | ||||
| -rw-r--r-- | grammars/testConversions/SimpleAbs.gf | 27 | ||||
| -rw-r--r-- | grammars/testConversions/SimpleEng.gf | 34 | ||||
| -rw-r--r-- | grammars/testConversions/SimpleEngRes.gf | 8 | ||||
| -rw-r--r-- | grammars/testConversions/SimpleSwe.gf | 63 | ||||
| -rw-r--r-- | grammars/testConversions/SimpleSweRes.gf | 28 | ||||
| -rw-r--r-- | grammars/testConversions/TestVars.gf | 43 | ||||
| -rw-r--r-- | grammars/testConversions/TestVarsA.gf | 24 | ||||
| -rw-r--r-- | grammars/testConversions/TestVarsR.gf | 28 | ||||
| -rw-r--r-- | grammars/testConversions/TimeFlies.gf | 24 | ||||
| -rw-r--r-- | grammars/testConversions/TimeFliesAbs.gf | 27 | ||||
| -rw-r--r-- | grammars/testConversions/TimeFliesCnc.gf | 2 |
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 |
