blob: 968c523ebabb56c4cd78e267b64c1f9d536eec10 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
concrete GreetingsIta of Greetings = SentencesIta [Greeting,mkGreeting] ** open Prelude in {
lin
GBye = mkGreeting "ciao" ;
GCheers = mkGreeting "cincin" ;
GDamn = mkGreeting "maledizione" ;
GExcuse = mkGreeting "scusa" ;
GExcusePol = mkGreeting "scusi" ;
GGoodDay = mkGreeting "buongiorno" ;
GGoodEvening = mkGreeting "buona sera" ;
GGoodMorning = mkGreeting "buongiorno" ;
GGoodNight = mkGreeting "buona notte" ;
GGoodbye = mkGreeting "arrivederci" ;
GHello = mkGreeting "ciao" ;
GHelp = mkGreeting "aiuto" ;
GHowAreYou = mkGreeting "come sta" ;
GLookOut = mkGreeting "attenzione" ;
GNiceToMeetYou = mkGreeting "piacere di conoscerti" ;
GNiceToMeetYouPol = mkGreeting "piacere di conoscerLa" ;
GPleaseGive, GPleaseGivePol = mkGreeting "per favore" ;
GSeeYouSoon = mkGreeting "a presto" ; ----
GSorry = mkGreeting "scusami" ; ----
GSorryPol = mkGreeting "scusimi" ; ----
GThanks = mkGreeting "grazie" ;
GTheCheck = mkGreeting "il conto" ;
GCongratulations = mkGreeting "congratulazioni";
GHappyBirthday = mkGreeting "buon compleanno" ;
GGoodLuck = mkGreeting "buona fortuna" ;
GWhatTime = mkGreeting "che ore sono" ;
}
|
