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/GreetingsFin.gf | |
| parent | cb0a1ede4552120da60b92d92051319e7c64b3b1 (diff) | |
slight refactoring of Phrasebook, with less start words
Diffstat (limited to 'examples/phrasebook/GreetingsFin.gf')
| -rw-r--r-- | examples/phrasebook/GreetingsFin.gf | 51 |
1 files changed, 24 insertions, 27 deletions
diff --git a/examples/phrasebook/GreetingsFin.gf b/examples/phrasebook/GreetingsFin.gf index 5900ee899..804ee8282 100644 --- a/examples/phrasebook/GreetingsFin.gf +++ b/examples/phrasebook/GreetingsFin.gf @@ -1,30 +1,27 @@ -concrete GreetingsFin of Greetings = open Prelude in { - -lincat - Greeting, Politeness = SS ; +concrete GreetingsFin of Greetings = SentencesFin [Greeting,mkGreeting] ** open Prelude in { lin - GBye = ss "hei hei" ; - GCheers = ss "terveydeksi" ; - GDamn = ss "hitto" ; - GExcuse, GExcusePol = ss "anteeksi" ; - GGoodDay = ss "hyvää päivää" ; - GGoodEvening = ss "hyvää iltaa" ; - GGoodMorning = ss "hyvää huomenta" ; - GGoodNight = ss "hyvää yötä" ; - GGoodbye = ss "näkemiin" ; - GHello = ss "hei" ; - GHelp = ss "apua" ; - GHowAreYou = ss "mitä kuuluu" ; - GLookOut = ss "varo" ; - GNiceToMeetYou = ss "hauska tutustua" ; - GPleaseGive = ss "ole hyvä" ; - GPleaseGivePol = ss "olkaa hyvä" ; - GSeeYouSoon = ss "nähdään pian" ; - GSorry, GSorryPol = ss "anteeksi" ; - GThanks = ss "kiitos" ; - GTheCheck = ss "lasku" ; - GCongratulations = ss "onnittelut"; - GHappyBirthday = ss "hyvää syntymäpäivää" ; - GGoodLuck = ss "onnea" ; + GBye = mkGreeting "hei hei" ; + GCheers = mkGreeting "terveydeksi" ; + GDamn = mkGreeting "hitto" ; + GExcuse, GExcusePol = mkGreeting "anteeksi" ; + GGoodDay = mkGreeting "hyvää päivää" ; + GGoodEvening = mkGreeting "hyvää iltaa" ; + GGoodMorning = mkGreeting "hyvää huomenta" ; + GGoodNight = mkGreeting "hyvää yötä" ; + GGoodbye = mkGreeting "näkemiin" ; + GHello = mkGreeting "hei" ; + GHelp = mkGreeting "apua" ; + GHowAreYou = mkGreeting "mitä kuuluu" ; + GLookOut = mkGreeting "varo" ; + GNiceToMeetYou = mkGreeting "hauska tutustua" ; + GPleaseGive = mkGreeting "ole hyvä" ; + GPleaseGivePol = mkGreeting "olkaa hyvä" ; + GSeeYouSoon = mkGreeting "nähdään pian" ; + GSorry, GSorryPol = mkGreeting "anteeksi" ; + GThanks = mkGreeting "kiitos" ; + GTheCheck = mkGreeting "lasku" ; + GCongratulations = mkGreeting "onnittelut"; + GHappyBirthday = mkGreeting "hyvää syntymäpäivää" ; + GGoodLuck = mkGreeting "onnea" ; } |