summaryrefslogtreecommitdiff
path: root/old-examples/tutorial/food
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2008-06-27 09:18:50 +0000
committeraarne <aarne@cs.chalmers.se>2008-06-27 09:18:50 +0000
commit5c713d8f027a9b6be687ee3f7e917e8bd2115773 (patch)
tree65da19829810b753345a5b2164bef2d8876268dd /old-examples/tutorial/food
parentf7b2a83059697f1b36a6369e489ac276e7ff875d (diff)
took away old-examples
Diffstat (limited to 'old-examples/tutorial/food')
-rw-r--r--old-examples/tutorial/food/Food.gf16
-rw-r--r--old-examples/tutorial/food/FoodEng.gf23
-rw-r--r--old-examples/tutorial/food/FoodIta.gf22
-rw-r--r--old-examples/tutorial/food/food.ebnf4
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")) ;