summaryrefslogtreecommitdiff
path: root/examples/phrasebook/GreetingsPes.gf
diff options
context:
space:
mode:
authorJohn J. Camilleri <john@digitalgrammars.com>2018-07-04 10:09:58 +0200
committerJohn J. Camilleri <john@digitalgrammars.com>2018-07-04 10:09:58 +0200
commitc6f4edaea5f1074ba682fac5d711016f0136998f (patch)
treebb49b8bac2e3cafd3c1f997115bf5bb841554eab /examples/phrasebook/GreetingsPes.gf
parent00476ae38687fb7d33081130822cbd4e8f34cfd3 (diff)
Remove examples directory; these now live in gf-contrib
All changes have been reflected in the gf-contrib repository: https://github.com/GrammaticalFramework/gf-contrib Now, for WebSetup to build the example grammars, one must have gf-contrib cloned in the same top-level directory as GF. When this isn't the case, WebSetup displays a notice without failing.
Diffstat (limited to 'examples/phrasebook/GreetingsPes.gf')
-rw-r--r--examples/phrasebook/GreetingsPes.gf29
1 files changed, 0 insertions, 29 deletions
diff --git a/examples/phrasebook/GreetingsPes.gf b/examples/phrasebook/GreetingsPes.gf
deleted file mode 100644
index ba968c9f8..000000000
--- a/examples/phrasebook/GreetingsPes.gf
+++ /dev/null
@@ -1,29 +0,0 @@
-concrete GreetingsPes of Greetings = SentencesPes [mkGreeting] ** open (P=Prelude) in {
-
--- lincat
--- Greeting = {s : Str; lock_Text : {}} ;
-flags coding = utf8 ;
-lin
- 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 ["موفق باشید"] ;
-}