diff options
| author | aarne <aarne@chalmers.se> | 2010-12-07 12:32:57 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2010-12-07 12:32:57 +0000 |
| commit | e8adb69e3de69dba87beb59279365ecadee22085 (patch) | |
| tree | c49cd5831dae69104c3b08c900165f4ccf391a5e /examples/phrasebook/GreetingsFre.gf | |
| parent | cb0a1ede4552120da60b92d92051319e7c64b3b1 (diff) | |
slight refactoring of Phrasebook, with less start words
Diffstat (limited to 'examples/phrasebook/GreetingsFre.gf')
| -rw-r--r-- | examples/phrasebook/GreetingsFre.gf | 53 |
1 files changed, 25 insertions, 28 deletions
diff --git a/examples/phrasebook/GreetingsFre.gf b/examples/phrasebook/GreetingsFre.gf index f6efdbeb3..1e2743ec2 100644 --- a/examples/phrasebook/GreetingsFre.gf +++ b/examples/phrasebook/GreetingsFre.gf @@ -1,32 +1,29 @@ -concrete GreetingsFre of Greetings = open Prelude in { - -lincat - Greeting = SS ; +concrete GreetingsFre of Greetings = SentencesFre [Greeting,mkGreeting] ** open Prelude in { lin - GBye = ss "au revoir" ; - GCheers = ss "santé" ; - GDamn = ss "maudit" ; - GExcuse = ss "excuse-moi" ; - GExcusePol = ss "excusez-moi" ; - GGoodDay = ss "bonjour" ; - GGoodEvening = ss "bon soir" ; - GGoodMorning = ss "bonjour" ; - GGoodNight = ss "bonne nuit" ; - GGoodbye = ss "au revoir" ; - GHello = ss "salut" ; - GHelp = ss "au secours" ; - GHowAreYou = ss "comment ça va" ; - GLookOut = ss "attention" ; - GNiceToMeetYou = ss "enchanté" ; - GPleaseGive = ss "s'il te plaît" ; - GPleaseGivePol = ss "s'il vous plaît" ; - GSeeYouSoon = ss "à bientôt" ; - GSorry, GSorryPol = ss "pardon" ; - GThanks = ss "merci" ; - GTheCheck = ss "l'addition" ; - GCongratulations = ss "félicitations"; - GHappyBirthday = ss "joyeux anniversaire" ; - GGoodLuck = ss "bonne chance" ; + GBye = mkGreeting "au revoir" ; + GCheers = mkGreeting "santé" ; + GDamn = mkGreeting "maudit" ; + GExcuse = mkGreeting "excuse-moi" ; + GExcusePol = mkGreeting "excusez-moi" ; + GGoodDay = mkGreeting "bonjour" ; + GGoodEvening = mkGreeting "bon soir" ; + GGoodMorning = mkGreeting "bonjour" ; + GGoodNight = mkGreeting "bonne nuit" ; + GGoodbye = mkGreeting "au revoir" ; + GHello = mkGreeting "salut" ; + GHelp = mkGreeting "au secours" ; + GHowAreYou = mkGreeting "comment ça va" ; + GLookOut = mkGreeting "attention" ; + GNiceToMeetYou = mkGreeting "enchanté" ; + GPleaseGive = mkGreeting "s'il te plaît" ; + GPleaseGivePol = mkGreeting "s'il vous plaît" ; + GSeeYouSoon = mkGreeting "à bientôt" ; + GSorry, GSorryPol = mkGreeting "pardon" ; + GThanks = mkGreeting "merci" ; + GTheCheck = mkGreeting "l'addition" ; + GCongratulations = mkGreeting "félicitations"; + GHappyBirthday = mkGreeting "joyeux anniversaire" ; + GGoodLuck = mkGreeting "bonne chance" ; } |