WordsCat in_Prep problem

This commit is contained in:
jordi.saludes
2010-05-25 18:30:42 +00:00
parent 595b6409f7
commit 001f7f5ca0
2 changed files with 45 additions and 43 deletions

View File

@@ -1,31 +1,33 @@
concrete GreetingsCat of Greetings = open Prelude in {
--lincat
-- Greeting = SS ;
lincat
Greeting = SS ;
--lin
-- GBye = ss "ciao" ;
-- GCheers = ss "cincin" ;
-- GDamn = ss "maledizione" ;
-- GExcuse = ss "scusa" ;
-- GExcusePol = ss "scusi" ;
-- GGoodDay = ss "buongiorno" ;
-- GGoodEvening = ss "buona sera" ;
-- GGoodMorning = ss "buongiorno" ;
-- GGoodNight = ss "buona notte" ;
-- GGoodbye = ss "arrivederci" ;
-- GHello = ss "ciao" ;
-- GHelp = ss "aiuto" ;
-- GHowAreYou = ss "come sta" ;
-- GLookOut = ss "attenzione" ;
-- GNiceToMeetYou = ss "piacere di conoscerti" ;
-- GNiceToMeetYouPol = ss "piacere di conoscerLa" ;
-- GPleaseGive, GPleaseGivePol = ss "per favore" ;
-- GSeeYouSoon = ss "a presto" ; ----
-- GSorry = ss "scusami" ; ----
-- GSorryPol = ss "scusimi" ; ----
-- GThanks = ss "grazie" ;
-- GTheCheck = ss "il conto" ;
lin
GBye = ss "adéu" ;
GCheers = ss "salut" ;
GDamn = ss "merda" ;
GExcuse = ss "perdona" ;
GExcusePol = ss ("perdoni" | "disculpi") ;
GCongratulations = ss "felicitats" ;
GHappyBirthday = ss "feliç aniversari" ;
GGoodLuck = ss "sort" ;
GGoodDay = ss "bon dia" ;
GGoodEvening = ss "bona tarda" ;
GGoodMorning = ss "bon dia" ;
GGoodNight = ss "bona nit" ;
GGoodbye = ss "a reveure" ;
GHello = ss "hola" ;
GHelp = ss "socors" ;
GHowAreYou = ss "què tal" ;
GLookOut = ss "compte" ;
GNiceToMeetYou = ss "encantat de conèixer-lo" ; -- make distinction Masc/Fem
GPleaseGive = ss "si et plau" ;
GPleaseGivePol = ss "si us plau" ;
GSeeYouSoon = ss "fins aviat" ;
GSorry = ss "perdoni" ;
GSorryPol = ss "em sap greu" ;
GThanks = ss "gràcies" ;
GTheCheck = ss "el compte" ;
--}
}

View File

@@ -16,35 +16,35 @@ lin
Apple = mkCN L.apple_N ;
Beer = mkCN L.beer_N ;
Bread = mkCN L.bread_N ;
-- Cheese = mkCN (mkN "formaggio") ;
-- Chicken = mkCN (mkN "pollo") ;
-- Coffee = mkCN (mkN "caffè") ;
Cheese = mkCN (mkN "formatge") ;
Chicken = mkCN (mkN "pollastre") ;
Coffee = mkCN (mkN "cafè") ;
Fish = mkCN L.fish_N ;
-- Meat = mkCN (mkN "carne" feminine) ;
Meat = mkCN (mkN "carn" feminine) ;
Milk = mkCN L.milk_N ;
-- Pizza = mkCN (mkN "pizza") ;
Pizza = mkCN (mkN "pizza") ;
Salt = mkCN L.salt_N ;
-- Tea = mkCN (mkN "tè") ;
Tea = mkCN (mkN "te") ;
Water = mkCN L.water_N ;
Wine = mkCN L.wine_N ;
-- properties
Bad = L.bad_A ;
-- Boring = mkA "noioso" ;
-- Cheap = let c = "a buon mercato" in mkA c c c c c ; ----
Boring = mkA "avorrit" "avorrida" "avorrits" "avorrides" "avorridament" ;
Cheap = mkA "barat" ;
Cold = L.cold_A ;
-- Delicious = mkA "delizioso" ;
-- Expensive = mkA "caro" ;
-- Fresh = mkA "fresco" ;
Delicious = mkA "deliciós" "deliciosa" "deliciosos" "delicioses" "deliciosament";
Expensive = mkA "car" ;
Fresh = mkA "fresc" ;
Good = L.good_A ;
Warm = L.warm_A ;
-- Suspect = mkA "sospetto" ;
Suspect = mkA "sospitós" ;
-- places
-- Airport = mkPlace (mkN "aeroporto") dative ;
-- Bar = mkPlace (mkN "bar") P.in_Prep ;
Airport = mkPlace (mkN "aeroport") dative ;
Bar = mkPlace (mkN "bar") P.in_Prep ;
-- Church = mkPlace (mkN "chiesa") P.in_Prep ;
-- Cinema = mkPlace (mkN "cinema") P.in_Prep ;
-- Hospital = mkPlace (mkN "ospedale") P.in_Prep ;
@@ -153,7 +153,7 @@ lin
-- auxiliaries
-- oper
oper
-- mkNat : Str -> Str -> NPNationality = \nat,co ->
-- mkNPNationality (mkNP (mkPN nat)) (mkNP (mkPN co)) (mkA nat) ;
@@ -161,8 +161,8 @@ lin
-- let day = mkNP (mkPN d) in
-- mkNPDay day (P.mkAdv ("il" ++ d)) (P.mkAdv ("il" ++ d)) ; ---- ?
-- mkPlace : N -> Prep -> {name : CN ; at : Prep ; to : Prep} = \p,i ->
-- mkCNPlace (mkCN p) i dative ;
mkPlace : N -> Prep -> {name : CN ; at : Prep ; to : Prep} = \p,i ->
mkCNPlace (mkCN p) i dative ;
-- xOf : GNumber -> N -> NPPerson -> NPPerson = \n,x,p -> mkRelative n (mkCN x) p ;