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/ljung | |
| 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/ljung')
| -rw-r--r-- | grammars/ljung/fin_dep_types/Findep.gf | 53 | ||||
| -rw-r--r-- | grammars/ljung/fin_dep_types/FindepAbs.gf | 57 | ||||
| -rw-r--r-- | grammars/ljung/thesis/CopyMorphism.gf | 22 | ||||
| -rw-r--r-- | grammars/ljung/thesis/CopyMorphismAbs.gf | 15 | ||||
| -rw-r--r-- | grammars/ljung/thesis/Erasing.gf | 26 | ||||
| -rw-r--r-- | grammars/ljung/thesis/ErasingAbs.gf | 21 | ||||
| -rw-r--r-- | grammars/ljung/thesis/FragmentAbstract.gf | 19 | ||||
| -rw-r--r-- | grammars/ljung/thesis/FragmentNumber.gf | 29 | ||||
| -rw-r--r-- | grammars/ljung/thesis/FragmentResource.gf | 10 | ||||
| -rw-r--r-- | grammars/ljung/thesis/FragmentSimple.gf | 18 | ||||
| -rw-r--r-- | grammars/ljung/thesis/FragmentSwedish.gf | 27 | ||||
| -rw-r--r-- | grammars/ljung/timeflies/TimeFlies.gf | 24 | ||||
| -rw-r--r-- | grammars/ljung/timeflies/TimeFliesAbs.gf | 27 | ||||
| -rw-r--r-- | grammars/ljung/timeflies/TimeFliesCnc.gf | 2 | ||||
| -rw-r--r-- | grammars/ljung/variants/TestVars.gf | 14 | ||||
| -rw-r--r-- | grammars/ljung/variants/TestVarsA.gf | 11 | ||||
| -rw-r--r-- | grammars/ljung/variants/TestVarsR.gf | 27 |
17 files changed, 0 insertions, 402 deletions
diff --git a/grammars/ljung/fin_dep_types/Findep.gf b/grammars/ljung/fin_dep_types/Findep.gf deleted file mode 100644 index 3fb3d6385..000000000 --- a/grammars/ljung/fin_dep_types/Findep.gf +++ /dev/null @@ -1,53 +0,0 @@ - -concrete Findep of FindepAbs = { - -flags conversion = finite; - -lin - -Sg = {s = "SINGULAR"}; --- Pl = {s = "PLURAL"}; - -s n g b x y = {s = x.s ++ y.s}; -np n g b x y = {s = x.s ++ y.s}; -vpt n g b x y = {s = x.s ++ y.s}; -vpi x = {s = x.s}; - -npBest n g x = {s = x.s}; -npPl g b x = {s = x.s}; - -en = {s = "en"}; -ett = {s = "ett"}; -den = {s = "den"}; -det = {s = "det"}; - -ingen = {s = "ingen"}; -inget = {s = "inget"}; -inga g = {s = "inga"}; - -alla g = {s = "alla"}; -de g = {s = "de"}; - -katt = {s = "katt"}; -katter = {s = "katter"}; -katten = {s = "katten"}; -katterna = {s = "katterna"}; - -hund = {s = "hund"}; -hundar = {s = "hundar"}; -hunden = {s = "hunden"}; -hundarna = {s = "hundarna"}; - -barn n = {s = "barn"}; -barnet = {s = "barnet"}; -barnen = {s = "barnen"}; - -djur n = {s = "djur"}; -djuret = {s = "djuret"}; -djuren = {s = "djuren"}; - -jagar = {s = "jagar"}; -sover = {s = "sover"}; - -} - diff --git a/grammars/ljung/fin_dep_types/FindepAbs.gf b/grammars/ljung/fin_dep_types/FindepAbs.gf deleted file mode 100644 index a1931ade8..000000000 --- a/grammars/ljung/fin_dep_types/FindepAbs.gf +++ /dev/null @@ -1,57 +0,0 @@ - -abstract FindepAbs = { - -cat -Num; Gen; Def; -S; V; VP; -D Num Gen Def; N Num Gen Def; NP Num Gen Def; - -fun - -Sg, Pl : Num; -Best, OBest : Def; -Utr, Neu : Gen; - -s : (n:Num) -> (g:Gen) -> (b:Def) -> NP n g b -> VP -> S; -np : (n:Num) -> (g:Gen) -> (b:Def) -> D n g b -> N n g b -> NP n g b; -vpt : (n:Num) -> (g:Gen) -> (b:Def) -> V -> NP n g b -> VP; -vpi : V -> VP; - -npBest : (n:Num) -> (g:Gen) -> N n g Best -> NP n g Best; -npPl : (g:Gen) -> (b:Def) -> N Pl g b -> NP Pl g b; - -en : D Sg Utr OBest; -ett : D Sg Neu OBest; -den : D Sg Utr Best; -det : D Sg Neu Best; - -ingen : D Sg Utr OBest; -inget : D Sg Neu OBest; -inga : (g:Gen) -> D Pl g OBest; - -alla : (g:Gen) -> D Pl g OBest; -de : (g:Gen) -> D Pl g Best; - -katt : N Sg Utr OBest; -katten : N Sg Utr Best; -katter : N Pl Utr OBest; -katterna : N Pl Utr Best; - -hund : N Sg Utr OBest; -hunden : N Sg Utr Best; -hundar : N Pl Utr OBest; -hundarna : N Pl Utr Best; - -barn : (n:Num) -> N n Neu OBest; -barnet : N Sg Neu Best; -barnen : N Pl Neu Best; - -djur : (n:Num) -> N n Neu OBest; -djuret : N Sg Neu Best; -djuren : N Pl Neu Best; - -jagar : V; -sover : V; - -} - 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" }; - -} - diff --git a/grammars/ljung/timeflies/TimeFlies.gf b/grammars/ljung/timeflies/TimeFlies.gf deleted file mode 100644 index f46592b55..000000000 --- a/grammars/ljung/timeflies/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/ljung/timeflies/TimeFliesAbs.gf b/grammars/ljung/timeflies/TimeFliesAbs.gf deleted file mode 100644 index fe52f82b6..000000000 --- a/grammars/ljung/timeflies/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/ljung/timeflies/TimeFliesCnc.gf b/grammars/ljung/timeflies/TimeFliesCnc.gf deleted file mode 100644 index 5952dda49..000000000 --- a/grammars/ljung/timeflies/TimeFliesCnc.gf +++ /dev/null @@ -1,2 +0,0 @@ - -resource diff --git a/grammars/ljung/variants/TestVars.gf b/grammars/ljung/variants/TestVars.gf deleted file mode 100644 index ce0073f8f..000000000 --- a/grammars/ljung/variants/TestVars.gf +++ /dev/null @@ -1,14 +0,0 @@ - -concrete TestVars of TestVarsA = open TestVarsR in { - -lincat S = {s1:Str; s2:AB => Str}; - -lin - -f x = { s1 = []; - s2 = table{ y => variants{ x.s2 ! A; x.s1 ++ x.s2 ! y } } }; - -a = { s1 = "a" ++ variants{ "b"; "c" }; - s2 = table{ A => variants{ "A"; "Q" }; B => "B" } }; - -} diff --git a/grammars/ljung/variants/TestVarsA.gf b/grammars/ljung/variants/TestVarsA.gf deleted file mode 100644 index a52804425..000000000 --- a/grammars/ljung/variants/TestVarsA.gf +++ /dev/null @@ -1,11 +0,0 @@ - -abstract TestVarsA = { - -cat S; - -fun -f : S -> S; -a : S; - -} - diff --git a/grammars/ljung/variants/TestVarsR.gf b/grammars/ljung/variants/TestVarsR.gf deleted file mode 100644 index c0c02926c..000000000 --- a/grammars/ljung/variants/TestVarsR.gf +++ /dev/null @@ -1,27 +0,0 @@ - -resource TestVarsR = { - -param AB = A | B; -param XYZ = X AB | Y | Z AB; - -} - - - - - - - - - - - - - - - - - - - - |
