summaryrefslogtreecommitdiff
path: root/grammars/database/DatabaseEngRes.gf
diff options
context:
space:
mode:
authoraarne <unknown>2003-11-19 17:33:06 +0000
committeraarne <unknown>2003-11-19 17:33:06 +0000
commit1ca5e5398abd42fe71d4fe541e84318df0351e20 (patch)
tree5fe4564ed8270aaedc30f0ca070ae5195f4b9efa /grammars/database/DatabaseEngRes.gf
parent18dfde370ec276835c99a3bac9754d5562d6ff7b (diff)
Extending resource.
Diffstat (limited to 'grammars/database/DatabaseEngRes.gf')
-rw-r--r--grammars/database/DatabaseEngRes.gf11
1 files changed, 11 insertions, 0 deletions
diff --git a/grammars/database/DatabaseEngRes.gf b/grammars/database/DatabaseEngRes.gf
new file mode 100644
index 000000000..e00501a47
--- /dev/null
+++ b/grammars/database/DatabaseEngRes.gf
@@ -0,0 +1,11 @@
+resource DatabaseEngRes = open Prelude in {
+oper
+ mkSent : SS -> SS -> SS1 Bool = \long, short ->
+ {s = table {b => if_then_else Str b long.s short.s}} ;
+
+ mkSentPrel : Str -> SS -> SS1 Bool = \prel, matter ->
+ mkSent (ss (prel ++ matter.s)) matter ;
+
+ mkSentSame : SS -> SS1 Bool = \s ->
+ mkSent s s ;
+} ;