summaryrefslogtreecommitdiff
path: root/next-lib/src/latin/VerbLat.gf
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2008-09-22 11:49:15 +0000
committeraarne <aarne@cs.chalmers.se>2008-09-22 11:49:15 +0000
commit98665df78b8018af30051cb4a9a31f845e0ba19d (patch)
tree67ba30b09e2b9590a00a4b193bf7611caa935af8 /next-lib/src/latin/VerbLat.gf
parent4862018f140a1bdcc7961d445ed9aa92facd742f (diff)
moved lib/next-resource to next-lib/src, to enable linking with next-lib as value of GF_LIB_PATH
Diffstat (limited to 'next-lib/src/latin/VerbLat.gf')
-rw-r--r--next-lib/src/latin/VerbLat.gf50
1 files changed, 50 insertions, 0 deletions
diff --git a/next-lib/src/latin/VerbLat.gf b/next-lib/src/latin/VerbLat.gf
new file mode 100644
index 000000000..29f970a4a
--- /dev/null
+++ b/next-lib/src/latin/VerbLat.gf
@@ -0,0 +1,50 @@
+concrete VerbLat of Verb = CatLat ** open ResLat in {
+
+ flags optimize=all_subs ;
+
+ lin
+ UseV = predV ;
+
+ SlashV2a v = predV2 v ;
+-- Slash2V3 v np =
+-- insertObjc (\\_ => v.c2 ++ np.s ! Acc) (predV v ** {c2 = v.c3}) ;
+-- Slash3V3 v np =
+-- insertObjc (\\_ => v.c3 ++ np.s ! Acc) (predVc v) ; ----
+--
+-- ComplVV v vp = insertObj (\\a => infVP v.isAux vp a) (predVV v) ;
+-- ComplVS v s = insertObj (\\_ => conjThat ++ s.s) (predV v) ;
+-- ComplVQ v q = insertObj (\\_ => q.s ! QIndir) (predV v) ;
+-- ComplVA v ap = insertObj (ap.s) (predV v) ;
+--
+-- SlashV2V v vp = insertObjc (\\a => infVP v.isAux vp a) (predVc v) ;
+-- SlashV2S v s = insertObjc (\\_ => conjThat ++ s.s) (predVc v) ;
+-- SlashV2Q v q = insertObjc (\\_ => q.s ! QIndir) (predVc v) ;
+-- SlashV2A v ap = insertObjc (\\a => ap.s ! a) (predVc v) ; ----
+--
+ ComplSlash vp np = insertObj (appPrep vp.c2 np.s) vp ;
+--
+-- SlashVV vv vp =
+-- insertObj (\\a => infVP vv.isAux vp a) (predVV vv) **
+-- {c2 = vp.c2} ;
+-- SlashV2VNP vv np vp =
+-- insertObjPre (\\_ => vv.c2 ++ np.s ! Acc)
+-- (insertObjc (\\a => infVP vv.isAux vp a) (predVc vv)) **
+-- {c2 = vp.c2} ;
+--
+ UseComp comp = insertAdj comp.s (predV esse_V) ;
+
+ AdvVP vp adv = insertObj adv.s vp ;
+
+ AdVVP adv vp = insertObj adv.s vp ;
+
+-- ReflVP v = insertObjPre (\\a => v.c2 ++ reflPron ! a) v ;
+--
+-- PassV2 v = insertObj (\\_ => v.s ! VPPart) (predAux auxBe) ;
+--
+-----b UseVS, UseVQ = \vv -> {s = vv.s ; c2 = [] ; isRefl = vv.isRefl} ; -- no "to"
+--
+ CompAP ap = ap ;
+-- CompNP np = {s = \\_ => np.s ! Acc} ;
+-- CompAdv a = {s = \\_ => a.s} ;
+--
+}