diff options
| author | aarne <aarne@chalmers.se> | 2010-03-30 18:48:59 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2010-03-30 18:48:59 +0000 |
| commit | 5cb147fa19fdd348a24bc9d90fc8b5a6041530d8 (patch) | |
| tree | 73a42a9aa38df413443e2a8a730e8e669f70604d /examples/phrasebook/PhrasebookEng.gf | |
| parent | de909a4e44419562ca4ba071e15cf9b8e00288be (diff) | |
simplified the treatment of politeness in Phrasebook
Diffstat (limited to 'examples/phrasebook/PhrasebookEng.gf')
| -rw-r--r-- | examples/phrasebook/PhrasebookEng.gf | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/examples/phrasebook/PhrasebookEng.gf b/examples/phrasebook/PhrasebookEng.gf index 88feca11a..366fe90df 100644 --- a/examples/phrasebook/PhrasebookEng.gf +++ b/examples/phrasebook/PhrasebookEng.gf @@ -3,11 +3,10 @@ concrete PhrasebookEng of Phrasebook = GreetingsEng, WordsEng ** open - (R = Roles), SyntaxEng, Prelude in { lin - PGreeting p g = mkText (lin Text g) (lin Text (ss p.s)) ; + PGreeting g = lin Text g ; } |