summaryrefslogtreecommitdiff
path: root/examples/tutorial/resource-foods/ExtFoodsEng.gf
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2007-09-06 11:34:53 +0000
committeraarne <aarne@cs.chalmers.se>2007-09-06 11:34:53 +0000
commit10f621045a53c3a2b75195f355e362537ac6f08b (patch)
treef3f376c12ea4ec8cee316a2fef86c6271a997b26 /examples/tutorial/resource-foods/ExtFoodsEng.gf
parent238764e1be73685eb76fa19d0641d7780b0f8d5e (diff)
ExtFoods for book
Diffstat (limited to 'examples/tutorial/resource-foods/ExtFoodsEng.gf')
-rw-r--r--examples/tutorial/resource-foods/ExtFoodsEng.gf5
1 files changed, 5 insertions, 0 deletions
diff --git a/examples/tutorial/resource-foods/ExtFoodsEng.gf b/examples/tutorial/resource-foods/ExtFoodsEng.gf
new file mode 100644
index 000000000..70ba26b74
--- /dev/null
+++ b/examples/tutorial/resource-foods/ExtFoodsEng.gf
@@ -0,0 +1,5 @@
+--# -path=.:../foods:present:prelude
+
+concrete ExtFoodsEng of ExtFoods = FoodsEni ** ExtFoodsI with
+ (Syntax = SyntaxEng),
+ (LexFoods = LexFoodsEng) ;