summaryrefslogtreecommitdiff
path: root/examples/tutorial/foods/Foods.gf
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2007-08-16 21:35:11 +0000
committeraarne <aarne@cs.chalmers.se>2007-08-16 21:35:11 +0000
commit599ddcfe91bd9d97f3726d6d2b9541582f33adad (patch)
tree0004f438b801838fb7663438d550c3fd95dd9b86 /examples/tutorial/foods/Foods.gf
parent3737b9926696b70bdecdef3d38d1a1f9399c734a (diff)
section on agreement
Diffstat (limited to 'examples/tutorial/foods/Foods.gf')
-rw-r--r--examples/tutorial/foods/Foods.gf8
1 files changed, 5 insertions, 3 deletions
diff --git a/examples/tutorial/foods/Foods.gf b/examples/tutorial/foods/Foods.gf
index 9337e234a..210db69d4 100644
--- a/examples/tutorial/foods/Foods.gf
+++ b/examples/tutorial/foods/Foods.gf
@@ -1,14 +1,16 @@
abstract Foods = {
+ flags startcat=Phr ;
+
cat
- S ; Item ; Kind ; Quality ;
+ Phr ; Item ; Kind ; Quality ;
fun
- Is : Item -> Quality -> S ;
+ Is : Item -> Quality -> Phr ;
This, That, These, Those : Kind -> Item ;
QKind : Quality -> Kind -> Kind ;
Wine, Cheese, Fish, Pizza : Kind ;
Very : Quality -> Quality ;
Fresh, Warm, Italian, Expensive, Delicious, Boring : Quality ;
-} \ No newline at end of file
+}