diff options
| author | aarne <aarne@chalmers.se> | 2010-04-05 16:36:38 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2010-04-05 16:36:38 +0000 |
| commit | 2ced613d81b1fb93e3e60c974eee73a8872d7093 (patch) | |
| tree | 1cf145a675fc1e69210b41810cf50688493236a1 /examples/phrasebook/GreetingsEng.gf | |
| parent | c87fe6f0f6e95b5e9c1eddc7b83de4ce36b6958e (diff) | |
generalized and extended Phrasebook in many ways
Diffstat (limited to 'examples/phrasebook/GreetingsEng.gf')
| -rw-r--r-- | examples/phrasebook/GreetingsEng.gf | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/examples/phrasebook/GreetingsEng.gf b/examples/phrasebook/GreetingsEng.gf index b4e9de896..304e34c3b 100644 --- a/examples/phrasebook/GreetingsEng.gf +++ b/examples/phrasebook/GreetingsEng.gf @@ -1,4 +1,4 @@ -concrete GreetingsEng of Greetings = open Roles, Prelude in { +concrete GreetingsEng of Greetings = open Prelude in { lincat Greeting = SS ; @@ -12,7 +12,6 @@ lin GSorry, GSorryPol = ss "sorry" ; GGoodbye = ss "goodbye" ; GBye = ss "bye" ; - GWhatsYourName, GWhatsYourNamePol = ss "what's your name" ; GNiceToMeetYou = ss "nice to meet you" ; GSeeYouSoon = ss "see you soon" ; GHelp = ss "help" ; @@ -22,6 +21,7 @@ lin GGoodEvening = ss "good evening" ; GGoodNight = ss "good night" ; GTheCheck = ss "the bill" ; + GCheers = ss "cheers" ; GYes = ss "yes" ; GNo = ss "no" ; |
