From 1b5fa37a267d8962493b13933f24f86cf01cf108 Mon Sep 17 00:00:00 2001
From: aarne <aarne@chalmers.se>
Date: Tue, 30 Nov 2010 14:54:03 +0000
Subject: [PATCH] two examples of the .gfm format

---
 examples/multi/Food.gfm               | 69 +++++++++++++++++++++++++++
 {src/tools => examples/multi}/Koe.gfm |  0
 2 files changed, 69 insertions(+)
 create mode 100644 examples/multi/Food.gfm
 rename {src/tools => examples/multi}/Koe.gfm (100%)

diff --git a/examples/multi/Food.gfm b/examples/multi/Food.gfm
new file mode 100644
index 000000000..12a47949a
--- /dev/null
+++ b/examples/multi/Food.gfm
@@ -0,0 +1,69 @@
+-- baseline
+
+> langs Eng Ita
+
+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 ;
+
+}
+
+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"} ;
+
+}
+    
+concrete FoodIta of Food = {
+
+  flags coding = utf8 ;
+
+  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 = "quel" ++ 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/src/tools/Koe.gfm b/examples/multi/Koe.gfm
similarity index 100%
rename from src/tools/Koe.gfm
rename to examples/multi/Koe.gfm