summaryrefslogtreecommitdiff
path: root/old-lib/resource/thai/VerbTha.gf
diff options
context:
space:
mode:
authoraarne <aarne@chalmers.se>2009-06-22 15:39:08 +0000
committeraarne <aarne@chalmers.se>2009-06-22 15:39:08 +0000
commite89fdae2fa1626348d8025824a7469252fa85e42 (patch)
treec7d46bbd0494043b4bd6f917a25a7687517d0547 /old-lib/resource/thai/VerbTha.gf
parent3049b59b35b25381a7c6787444165c200d66e08b (diff)
next-lib renamed to lib, lib to old-lib
Diffstat (limited to 'old-lib/resource/thai/VerbTha.gf')
-rw-r--r--old-lib/resource/thai/VerbTha.gf51
1 files changed, 51 insertions, 0 deletions
diff --git a/old-lib/resource/thai/VerbTha.gf b/old-lib/resource/thai/VerbTha.gf
new file mode 100644
index 000000000..b894a04f9
--- /dev/null
+++ b/old-lib/resource/thai/VerbTha.gf
@@ -0,0 +1,51 @@
+concrete VerbTha of Verb = CatTha ** open ResTha, StringsTha, Prelude in {
+
+ flags optimize=all_subs ;
+
+ lin
+ UseV = mkVP ;
+-- ComplV2 v np = insertObject (v.c2 ++ np.s) (mkVP v) ;
+-- ComplV3 v np np2 = insertObject (v.c2 ++ np.s ++ v.c3 ++ np2.s) (mkVP v) ;
+
+ ComplVV vv vp = {
+ s = \\p =>
+ let
+ neg = polStr may_s p ;
+ v = vp.s ! Pos
+ in
+ case vv.typ of {
+ VVPre => vv.s ++ neg ++ v ;
+ VVMid => neg ++ vv.s ++ v ;
+ VVPost => v ++ neg ++ vv.s
+ }
+ } ;
+
+--
+-- 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) ;
+-- ComplV2A v np ap =
+-- insertObj (\\_ => v.c2 ++ np.s ! Acc ++ ap.s ! np.a) (predV v) ;
+--
+ UseComp comp = comp ;
+--
+-- AdvVP vp adv = insertObj (\\_ => adv.s) vp ;
+--
+-- AdVVP adv vp = insertAdV adv.s vp ;
+--
+-- ReflV2 v = insertObj (\\a => v.c2 ++ reflPron ! a) (predV v) ;
+--
+-- PassV2 v = insertObj (\\_ => v.s ! VPPart) (predAux auxBe) ;
+--
+-- UseVS, UseVQ = \vv -> {s = vv.s ; c2 = [] ; isRefl = vv.isRefl} ;
+
+ CompAP ap = {s = \\p => polStr may_s p ++ ap.s} ;
+ CompNP np = {s = table {
+ Pos => pen_s ++ np.s ;
+ Neg => may_s ++ chay_s ++ np.s
+ }
+ } ;
+ CompAdv a = {s = \\p => polStr may_s p ++ a.s} ; --- ??
+
+}