summaryrefslogtreecommitdiff
path: root/examples/phrasebook/GreetingsUrd.gf
diff options
context:
space:
mode:
authorvirk.shafqat <virk.shafqat@gmail.com>2011-05-12 16:24:00 +0000
committervirk.shafqat <virk.shafqat@gmail.com>2011-05-12 16:24:00 +0000
commitd024a7665d94bb2c2b9a90ced21533f0fbc0fbf0 (patch)
tree83512e240cc9bd32384168f9154b4f0e6a7f307b /examples/phrasebook/GreetingsUrd.gf
parentb7e638e534db04bbf4411f5408b684371c86f7f8 (diff)
refinementsUrdPhrbook-2011-05-12
Diffstat (limited to 'examples/phrasebook/GreetingsUrd.gf')
-rw-r--r--examples/phrasebook/GreetingsUrd.gf46
1 files changed, 23 insertions, 23 deletions
diff --git a/examples/phrasebook/GreetingsUrd.gf b/examples/phrasebook/GreetingsUrd.gf
index d567fa8f5..46ae37d8d 100644
--- a/examples/phrasebook/GreetingsUrd.gf
+++ b/examples/phrasebook/GreetingsUrd.gf
@@ -1,29 +1,29 @@
-concrete GreetingsUrd of Greetings = SentencesUrd [mkGreeting] ** open Prelude in {
+concrete GreetingsUrd of Greetings = SentencesUrd [mkGreeting] ** open (P=Prelude) in {
-- lincat
-- Greeting = {s : Str; lock_Text : {}} ;
flags coding = utf8 ;
lin
- GBye = ss "خدا حافظ" ;
- GCheers = ss "چیرز" ;
- GDamn = ss "اف" ;
- GExcuse, GExcusePol = ss "معاف كیجیے گا" ;
- GGoodDay = ss "دن بخیر" ; ----
- GGoodEvening = ss "شام بخیر" ;
- GGoodMorning = ss "صبح بخیر" ;
- GGoodNight = ss "رات بخیر" ;
- GGoodbye = ss "خدا حافظ" ;
- GHello = ss "اسلام علیكم" ;
- GHelp = ss "مدد" ;
- GHowAreYou = ss "آپ كیسی ہو" ;
- GLookOut = ss "دیكھ كر" ;
- GNiceToMeetYou, GNiceToMeetYouPol = ss "آپ سے مل كر اچھا لگا" ;
- GPleaseGive, GPleaseGivePol = ss "مہربانی كر كے" ;
- GSeeYouSoon = ss "ملتے ہیں" ;
- GSorry, GSorryPol = ss "معاف كیجیے گا" ;
- GThanks = ss "شكریہ" ;
- GTheCheck = ss "بل" ;
- GCongratulations = ss "مبارك ہو";
- GHappyBirthday = ss "سالگرہ مبارك" ;
- GGoodLuck = ss "گڈ لك" ;
+ GBye = P.ss "خدا حافظ" ;
+ GCheers = P.ss "چیرز" ;
+ GDamn = P.ss "اف" ;
+ GExcuse, GExcusePol = P.ss "معاف كیجیے گا" ;
+ GGoodDay = P.ss "دن بخیر" ; ----
+ GGoodEvening = P.ss "شام بخیر" ;
+ GGoodMorning = P.ss "صبح بخیر" ;
+ GGoodNight = P.ss "رات بخیر" ;
+ GGoodbye = P.ss "خدا حافظ" ;
+ GHello = P.ss "اسلام علیكم" ;
+ GHelp = P.ss "مدد" ;
+ GHowAreYou = P.ss "آپ كیسی ہو" ;
+ GLookOut = P.ss "دیكھ كر" ;
+ GNiceToMeetYou, GNiceToMeetYouPol = P.ss "آپ سے مل كر اچھا لگا" ;
+ GPleaseGive, GPleaseGivePol = P.ss "مہربانی كر كے" ;
+ GSeeYouSoon = P.ss "ملتے ہیں" ;
+ GSorry, GSorryPol = P.ss "معاف كیجیے گا" ;
+ GThanks = P.ss "شكریہ" ;
+ GTheCheck = P.ss "بل" ;
+ GCongratulations = P.ss "مبارك ہو";
+ GHappyBirthday = P.ss "سالگرہ مبارك" ;
+ GGoodLuck = P.ss "گڈ لك" ;
}