From 2ad038e20448198dce182e58ed999a6e35293ba7 Mon Sep 17 00:00:00 2001 From: aarne Date: Sun, 2 Sep 2007 19:53:55 +0000 Subject: resource using exx revised --- examples/tutorial/foods/Foods.gf | 6 +++--- examples/tutorial/foods/FoodsEng.gf | 2 +- examples/tutorial/foods/FoodsIta.gf | 2 +- 3 files changed, 5 insertions(+), 5 deletions(-) (limited to 'examples/tutorial/foods') diff --git a/examples/tutorial/foods/Foods.gf b/examples/tutorial/foods/Foods.gf index 210db69d4..35779a76d 100644 --- a/examples/tutorial/foods/Foods.gf +++ b/examples/tutorial/foods/Foods.gf @@ -1,12 +1,12 @@ abstract Foods = { - flags startcat=Phr ; + flags startcat=Phrase ; cat - Phr ; Item ; Kind ; Quality ; + Phrase ; Item ; Kind ; Quality ; fun - Is : Item -> Quality -> Phr ; + Is : Item -> Quality -> Phrase ; This, That, These, Those : Kind -> Item ; QKind : Quality -> Kind -> Kind ; Wine, Cheese, Fish, Pizza : Kind ; diff --git a/examples/tutorial/foods/FoodsEng.gf b/examples/tutorial/foods/FoodsEng.gf index 8ea5e6079..69a427006 100644 --- a/examples/tutorial/foods/FoodsEng.gf +++ b/examples/tutorial/foods/FoodsEng.gf @@ -3,7 +3,7 @@ concrete FoodsEng of Foods = open Prelude in { lincat - Phr, Quality = SS ; + Phrase, Quality = SS ; Kind = {s : Number => Str} ; Item = {s : Str ; n : Number} ; diff --git a/examples/tutorial/foods/FoodsIta.gf b/examples/tutorial/foods/FoodsIta.gf index d46bf469d..0099058d0 100644 --- a/examples/tutorial/foods/FoodsIta.gf +++ b/examples/tutorial/foods/FoodsIta.gf @@ -3,7 +3,7 @@ concrete FoodsIta of Foods = open Prelude in { lincat - Phr = SS ; + Phrase = SS ; Quality = {s : Gender => Number => Str} ; Kind = {s : Number => Str ; g : Gender} ; Item = {s : Str ; g : Gender ; n : Number} ; -- cgit v1.2.3