summaryrefslogtreecommitdiff
path: root/examples/peacekeeping/PeaceRes.gf
diff options
context:
space:
mode:
authorbringert <bringert@cs.chalmers.se>2006-04-21 21:53:20 +0000
committerbringert <bringert@cs.chalmers.se>2006-04-21 21:53:20 +0000
commit10bf3b1d9fda0cada5fb85c4bb803dfb46714948 (patch)
tree42f8749b5c0b2b7d4f94daf38ad0efe50d475ede /examples/peacekeeping/PeaceRes.gf
parent9a51ac6ebf70056c5d74d190aebab032d7a8d4c9 (diff)
Moved punctuation to a separate field, to allow spoken language grammars to omit it. Created top-level spoken language grammars. (all in peacekeeping)
Diffstat (limited to 'examples/peacekeeping/PeaceRes.gf')
-rw-r--r--examples/peacekeeping/PeaceRes.gf11
1 files changed, 11 insertions, 0 deletions
diff --git a/examples/peacekeeping/PeaceRes.gf b/examples/peacekeeping/PeaceRes.gf
new file mode 100644
index 000000000..52d77ce3b
--- /dev/null
+++ b/examples/peacekeeping/PeaceRes.gf
@@ -0,0 +1,11 @@
+resource PeaceRes = {
+
+ param Punct = FullStop | QuestMark | ExclMark ;
+
+ oper
+ stop, quest, excl : Str -> { s : Str; p : Punct } ;
+ stop x = { s = x; p = FullStop } ;
+ quest x = { s = x; p = QuestMark } ;
+ excl x = { s = x; p = ExclMark } ;
+
+} \ No newline at end of file