diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-06-27 09:18:50 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-06-27 09:18:50 +0000 |
| commit | 5c713d8f027a9b6be687ee3f7e917e8bd2115773 (patch) | |
| tree | 65da19829810b753345a5b2164bef2d8876268dd /old-examples/tutorial/foods/FoodsEng.gf | |
| parent | f7b2a83059697f1b36a6369e489ac276e7ff875d (diff) | |
took away old-examples
Diffstat (limited to 'old-examples/tutorial/foods/FoodsEng.gf')
| -rw-r--r-- | old-examples/tutorial/foods/FoodsEng.gf | 52 |
1 files changed, 0 insertions, 52 deletions
diff --git a/old-examples/tutorial/foods/FoodsEng.gf b/old-examples/tutorial/foods/FoodsEng.gf deleted file mode 100644 index 69a427006..000000000 --- a/old-examples/tutorial/foods/FoodsEng.gf +++ /dev/null @@ -1,52 +0,0 @@ ---# -path=.:prelude - -concrete FoodsEng of Foods = open Prelude in { - - lincat - Phrase, Quality = SS ; - Kind = {s : Number => Str} ; - Item = {s : Str ; n : Number} ; - - lin - Is item quality = ss (item.s ++ copula ! item.n ++ quality.s) ; - This = det Sg "this" ; - That = det Sg "that" ; - These = det Pl "these" ; - Those = det Pl "those" ; - QKind quality kind = {s = \\n => quality.s ++ kind.s ! n} ; - Wine = regNoun "wine" ; - Cheese = regNoun "cheese" ; - Fish = noun "fish" "fish" ; - Pizza = regNoun "pizza" ; - Very = prefixSS "very" ; - Fresh = ss "fresh" ; - Warm = ss "warm" ; - Italian = ss "Italian" ; - Expensive = ss "expensive" ; - Delicious = ss "delicious" ; - Boring = ss "boring" ; - - param - Number = Sg | Pl ; - - oper - det : Number -> Str -> {s : Number => Str} -> {s : Str ; n : Number} = - \n,d,cn -> { - s = d ++ cn.s ! n ; - n = n - } ; - noun : Str -> Str -> {s : Number => Str} = - \man,men -> {s = table { - Sg => man ; - Pl => men - } - } ; - regNoun : Str -> {s : Number => Str} = - \car -> noun car (car + "s") ; - copula : Number => Str = - table { - Sg => "is" ; - Pl => "are" - } ; -} - |
