diff options
| author | aarne <aarne@cs.chalmers.se> | 2007-09-02 19:53:55 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2007-09-02 19:53:55 +0000 |
| commit | 2ad038e20448198dce182e58ed999a6e35293ba7 (patch) | |
| tree | d946c69ea5360c693dd56b089bb62f2914770fac /examples/tutorial/foods | |
| parent | 545bcc10ac46bd9e760b005c688f8c5199237424 (diff) | |
resource using exx revised
Diffstat (limited to 'examples/tutorial/foods')
| -rw-r--r-- | examples/tutorial/foods/Foods.gf | 6 | ||||
| -rw-r--r-- | examples/tutorial/foods/FoodsEng.gf | 2 | ||||
| -rw-r--r-- | examples/tutorial/foods/FoodsIta.gf | 2 |
3 files changed, 5 insertions, 5 deletions
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} ; |