diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-12-18 14:17:42 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-12-18 14:17:42 +0000 |
| commit | 98a4b6a8088273dfa55dfa1c3ea78e85cd9c7a8d (patch) | |
| tree | 21e45db3182648b50f6d88557f33613efab5996a /next-lib/src/arabic/ConjunctionAra.gf | |
| parent | 9d0df9e0b49e06f4e182269f563555e803ff27ac (diff) | |
Arabic compiles now in 1.5
Diffstat (limited to 'next-lib/src/arabic/ConjunctionAra.gf')
| -rw-r--r-- | next-lib/src/arabic/ConjunctionAra.gf | 45 |
1 files changed, 45 insertions, 0 deletions
diff --git a/next-lib/src/arabic/ConjunctionAra.gf b/next-lib/src/arabic/ConjunctionAra.gf new file mode 100644 index 000000000..f7683c6cc --- /dev/null +++ b/next-lib/src/arabic/ConjunctionAra.gf @@ -0,0 +1,45 @@ +concrete ConjunctionAra of Conjunction = + CatAra ** open ResAra, Coordination, Prelude in { +-- +-- flags optimize=all_subs ; +-- +-- lin +-- +-- ConjS = conjunctSS ; +-- DConjS = conjunctDistrSS ; +-- +-- ConjAdv = conjunctSS ; +-- DConjAdv = conjunctDistrSS ; +-- +-- ConjNP conj ss = conjunctTable Case conj ss ** { +-- a = {n = conjNumber conj.n ss.a.n ; p = ss.a.p} +-- } ; +-- DConjNP conj ss = conjunctDistrTable Case conj ss ** { +-- a = {n = conjNumber conj.n ss.a.n ; p = ss.a.p} +-- } ; +-- +-- ConjAP conj ss = conjunctTable Agr conj ss ** { +-- isPre = ss.isPre +-- } ; +-- DConjAP conj ss = conjunctDistrTable Agr conj ss ** { +-- isPre = ss.isPre +-- } ; +-- +---- These fun's are generated from the list cat's. +-- +-- BaseS = twoSS ; +-- ConsS = consrSS comma ; +-- BaseAdv = twoSS ; +-- ConsAdv = consrSS comma ; +-- BaseNP x y = twoTable Case x y ** {a = conjAgr x.a y.a} ; +-- ConsNP xs x = consrTable Case comma xs x ** {a = conjAgr xs.a x.a} ; +-- BaseAP x y = twoTable Agr x y ** {isPre = andB x.isPre y.isPre} ; +-- ConsAP xs x = consrTable Agr comma xs x ** {isPre = andB xs.isPre x.isPre} ; +-- +-- lincat +-- [S] = {s1,s2 : Str} ; +-- [Adv] = {s1,s2 : Str} ; +-- [NP] = {s1,s2 : Case => Str ; a : Agr} ; +-- [AP] = {s1,s2 : Agr => Str ; isPre : Bool} ; +-- +} |
