summaryrefslogtreecommitdiff
path: root/examples/phrasebook/GreetingsEng.gf
diff options
context:
space:
mode:
authoraarne <aarne@chalmers.se>2010-04-05 16:36:38 +0000
committeraarne <aarne@chalmers.se>2010-04-05 16:36:38 +0000
commit2ced613d81b1fb93e3e60c974eee73a8872d7093 (patch)
tree1cf145a675fc1e69210b41810cf50688493236a1 /examples/phrasebook/GreetingsEng.gf
parentc87fe6f0f6e95b5e9c1eddc7b83de4ce36b6958e (diff)
generalized and extended Phrasebook in many ways
Diffstat (limited to 'examples/phrasebook/GreetingsEng.gf')
-rw-r--r--examples/phrasebook/GreetingsEng.gf4
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" ;