diff options
Diffstat (limited to 'examples/regulus/Toy0Ger.gf')
| -rw-r--r-- | examples/regulus/Toy0Ger.gf | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/examples/regulus/Toy0Ger.gf b/examples/regulus/Toy0Ger.gf deleted file mode 100644 index 68b3b7969..000000000 --- a/examples/regulus/Toy0Ger.gf +++ /dev/null @@ -1,30 +0,0 @@ -concrete Toy0Ger of Toy0 = { - -param - Number = Sg | Pl ; - Gender = Masc | Fem | Neutr ; - -lincat - Spec = {s : Gender => Str ; n : Number} ; - Noun = {s : Number => Str ; g : Gender} ; - MAIN,NP = {s : Str} ; - -lin - Main np = np ; - SpecNoun spec noun = {s = spec.s ! noun.g ++ noun.s ! spec.n} ; - - One = {s = table {Fem => "eine" ; _ => "ein"} ; n = Sg} ; - Two = {s = \\_ => "zwei" ; n = Pl} ; - - Felis = mkNoun "Katze" "Katzen" Fem ; - Canis = mkNoun "Hund" "Hünde" Masc ; - -oper - mkNoun : Str -> Str -> Gender -> {s : Number => Str ; g : Gender} = \s,p,g -> { - s = table { - Sg => s ; - Pl => p - } ; - g = g - } ; -} |
