summaryrefslogtreecommitdiff
path: root/examples/peacekeeping/english/PeacePhrases_Eng.gf
diff options
context:
space:
mode:
authorbjorn <bjorn@bringert.net>2008-08-15 20:21:12 +0000
committerbjorn <bjorn@bringert.net>2008-08-15 20:21:12 +0000
commit137133b742f38c76d2354047ecc9d4af88826d42 (patch)
tree40b29781c11c6c9effd89c08ce7d6501a1bdedd0 /examples/peacekeeping/english/PeacePhrases_Eng.gf
parent66c927937ad8ba4055a30c87c4455186535804dd (diff)
Added peacekeeping example back in. Doesn't compile yet.
Diffstat (limited to 'examples/peacekeeping/english/PeacePhrases_Eng.gf')
-rw-r--r--examples/peacekeeping/english/PeacePhrases_Eng.gf12
1 files changed, 12 insertions, 0 deletions
diff --git a/examples/peacekeeping/english/PeacePhrases_Eng.gf b/examples/peacekeeping/english/PeacePhrases_Eng.gf
new file mode 100644
index 000000000..8bcf41ce0
--- /dev/null
+++ b/examples/peacekeeping/english/PeacePhrases_Eng.gf
@@ -0,0 +1,12 @@
+--# -path=.:..:present:prelude
+
+concrete PeacePhrases_Eng of PeacePhrases =
+ PeaceCat_Eng ** open ResEng, PeaceRes in {
+
+lin
+ Hello = stop "hello" ;
+ GoodMorning = stop ["good morning"];
+ GoodEvening = stop ["good evening"] ;
+ WhatIsNamePron p = quest (["what is"] ++ p.s!Gen ++ "name") ;
+
+} \ No newline at end of file