From 96ed0bf4ac7e2898f6f8de82cacecb69d1e94684 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Fri, 12 Oct 2007 13:46:57 +0000
Subject: demo restaurant info

---
 examples/restaurant/Restaurant.gf | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 examples/restaurant/Restaurant.gf

(limited to 'examples/restaurant/Restaurant.gf')

diff --git a/examples/restaurant/Restaurant.gf b/examples/restaurant/Restaurant.gf
new file mode 100644
index 000000000..7b0a586de
--- /dev/null
+++ b/examples/restaurant/Restaurant.gf
@@ -0,0 +1,19 @@
+abstract Restaurant = {
+
+flags startcat = Descr ;
+
+cat
+  Descr ;
+  Name ;
+  Nationality ;
+  PriceLevel ;
+
+fun
+  MkDescr : Name -> PriceLevel -> Nationality -> Descr ;
+
+  Cheap : PriceLevel ;
+  Italian, Thai, Swedish, French : Nationality ;
+  Konkanok : Name ;
+
+
+}
-- 
cgit v1.2.3