summaryrefslogtreecommitdiff
path: root/deprecated/old-lib/resource/interlingua/ResIna2.gf
diff options
context:
space:
mode:
authoraarne <aarne@chalmers.se>2009-12-09 09:47:16 +0000
committeraarne <aarne@chalmers.se>2009-12-09 09:47:16 +0000
commitc8ceed08efcc0bdc1fcbd89bce643d9f52f0991b (patch)
tree5f0b314341c129eba1bc67b8b887fb8a4486fad8 /deprecated/old-lib/resource/interlingua/ResIna2.gf
parent101df06f6c8380328d4266adadac3ab6d1bac0b3 (diff)
moving a few things to deprecated
Diffstat (limited to 'deprecated/old-lib/resource/interlingua/ResIna2.gf')
-rw-r--r--deprecated/old-lib/resource/interlingua/ResIna2.gf63
1 files changed, 63 insertions, 0 deletions
diff --git a/deprecated/old-lib/resource/interlingua/ResIna2.gf b/deprecated/old-lib/resource/interlingua/ResIna2.gf
new file mode 100644
index 000000000..e0e9d42f2
--- /dev/null
+++ b/deprecated/old-lib/resource/interlingua/ResIna2.gf
@@ -0,0 +1,63 @@
+--# -path=.:../abstract:../common:../../prelude
+
+--1 Interlingua auxiliary operations.
+
+-- This module contains operations that are needed to make the
+-- resource syntax work. To define everything that is needed to
+-- implement $Test$, it moreover contains regular lexical
+-- patterns needed for $Lex$.
+
+resource ResIna2 = ParamX ** open Prelude in {
+
+ flags optimize=all ;
+
+
+-- Some parameters, such as $Number$, are inherited from $ParamX$.
+
+--2 For $Noun$
+
+-- This is the worst-case $Case$ needed for pronouns.
+
+
+ param
+ VForm
+ = VInf
+ | VPres
+ | VPPart
+ | VPresPart
+ | VPast --# notpresent
+ | VFut --# notpresent
+ | VCond --# notpresent
+ ;
+
+ oper
+
+
+
+ mkVerb : Str -> Verb = \crear->
+ let crea = init crear
+ in {s = table {
+ VInf => crear;
+ VPres => crea;
+ VPast => crea + "va";
+ VFut => crear + "a";
+ VCondit => crear + "ea";
+ VPPart => case crear of {
+ rid + "er" => rid + "ite";
+ _ => crea + "te"
+ };
+ VPresPart => case crear of {
+ aud + "ir" => aud + "iente";
+ _ => crea + "nte"
+ }}};
+
+
+ ---- For $Verb$.
+ --
+ Verb : Type = {
+ s : VForm => Str ;
+ -- isRefl : Bool
+ } ;
+
+
+}