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/food | |
| parent | f7b2a83059697f1b36a6369e489ac276e7ff875d (diff) | |
took away old-examples
Diffstat (limited to 'old-examples/tutorial/food')
| -rw-r--r-- | old-examples/tutorial/food/Food.gf | 16 | ||||
| -rw-r--r-- | old-examples/tutorial/food/FoodEng.gf | 23 | ||||
| -rw-r--r-- | old-examples/tutorial/food/FoodIta.gf | 22 | ||||
| -rw-r--r-- | old-examples/tutorial/food/food.ebnf | 4 |
4 files changed, 0 insertions, 65 deletions
diff --git a/old-examples/tutorial/food/Food.gf b/old-examples/tutorial/food/Food.gf deleted file mode 100644 index c4efd5950..000000000 --- a/old-examples/tutorial/food/Food.gf +++ /dev/null @@ -1,16 +0,0 @@ -abstract Food = { - - cat - Phrase ; Item ; Kind ; Quality ; - - flags startcat = Phrase ; - - fun - Is : Item -> Quality -> Phrase ; - This, That : Kind -> Item ; - QKind : Quality -> Kind -> Kind ; - Wine, Cheese, Fish : Kind ; - Very : Quality -> Quality ; - Fresh, Warm, Italian, Expensive, Delicious, Boring : Quality ; - -}
\ No newline at end of file diff --git a/old-examples/tutorial/food/FoodEng.gf b/old-examples/tutorial/food/FoodEng.gf deleted file mode 100644 index a4f5907be..000000000 --- a/old-examples/tutorial/food/FoodEng.gf +++ /dev/null @@ -1,23 +0,0 @@ -concrete FoodEng of Food = { - - lincat - Phrase, Item, Kind, Quality = {s : Str} ; - - lin - Is item quality = {s = item.s ++ "is" ++ quality.s} ; - This kind = {s = "this" ++ kind.s} ; - That kind = {s = "that" ++ kind.s} ; - QKind quality kind = {s = quality.s ++ kind.s} ; - Wine = {s = "wine"} ; - Cheese = {s = "cheese"} ; - Fish = {s = "fish"} ; - Very quality = {s = "very" ++ quality.s} ; - Fresh = {s = "fresh"} ; - Warm = {s = "warm"} ; - Italian = {s = "Italian"} ; - Expensive = {s = "expensive"} ; - Delicious = {s = "delicious"} ; - Boring = {s = "boring"} ; - -} -
\ No newline at end of file diff --git a/old-examples/tutorial/food/FoodIta.gf b/old-examples/tutorial/food/FoodIta.gf deleted file mode 100644 index fc59e1294..000000000 --- a/old-examples/tutorial/food/FoodIta.gf +++ /dev/null @@ -1,22 +0,0 @@ -concrete FoodIta of Food = { - - lincat - Phrase, Item, Kind, Quality = {s : Str} ; - - lin - Is item quality = {s = item.s ++ "è" ++ quality.s} ; - This kind = {s = "questo" ++ kind.s} ; - That kind = {s = "quello" ++ kind.s} ; - QKind quality kind = {s = kind.s ++ quality.s} ; - Wine = {s = "vino"} ; - Cheese = {s = "formaggio"} ; - Fish = {s = "pesce"} ; - Very quality = {s = "molto" ++ quality.s} ; - Fresh = {s = "fresco"} ; - Warm = {s = "caldo"} ; - Italian = {s = "italiano"} ; - Expensive = {s = "caro"} ; - Delicious = {s = "delizioso"} ; - Boring = {s = "noioso"} ; - -} diff --git a/old-examples/tutorial/food/food.ebnf b/old-examples/tutorial/food/food.ebnf deleted file mode 100644 index d85739dad..000000000 --- a/old-examples/tutorial/food/food.ebnf +++ /dev/null @@ -1,4 +0,0 @@ -Phrase ::= - ("this" | "that") Quality* ("wine" | "cheese" | "fish") "is" Quality ; -Quality ::= - ("very"* ("fresh" | "warm" | "boring" | "Italian" | "expensive")) ; |
