diff options
| author | aarne <aarne@chalmers.se> | 2010-04-06 15:45:16 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2010-04-06 15:45:16 +0000 |
| commit | a66d2186fe0df7e72d2ebd7fc7c70629fe555ec4 (patch) | |
| tree | 2ca36803340e215c997e7cd332e81aaaca577861 /examples/phrasebook/Greetings.gf | |
| parent | 114cdd78d35b74b1332f528adf4bbb4ef4adfaef (diff) | |
comments in phrasebook abstract syntax
Diffstat (limited to 'examples/phrasebook/Greetings.gf')
| -rw-r--r-- | examples/phrasebook/Greetings.gf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/phrasebook/Greetings.gf b/examples/phrasebook/Greetings.gf index 5dc4c4d04..da12e956b 100644 --- a/examples/phrasebook/Greetings.gf +++ b/examples/phrasebook/Greetings.gf @@ -1,7 +1,7 @@ abstract Greetings = { cat - Greeting ; + Greeting ; -- idiomatic phrase, not inflected, e.g. "hello" fun GHello : Greeting ; |