1
0
forked from GitHub/gf-rgl

(Dut) misc. small fixes

This commit is contained in:
Inari Listenmaa
2018-05-07 16:32:12 +02:00
parent d5ba0733ec
commit 34c87d0de0
4 changed files with 12 additions and 7 deletions
+9 -4
View File
@@ -49,10 +49,15 @@ concrete VerbDut of Verb = CatDut ** open Prelude, ResDut in {
-- and choose its agreement based on the new object.
-- Otherwise, keep the old VP.
newVP : VP = case hasInf of {
True => let emptyObjVP : VP = vp ** {n0, n2 = \\_ => [] } ;
infCompl = vp.n0 ! np.a ++ vp.n2 ! np.a ;
in insertInf infCompl emptyObjVP ;
_ => vp } ;
True => let emptyObjVP : VP = vp ** {n0, n2 = \\_ => [] } ;
infCompl = vp.n0 ! np.a ++ vp.n2 ! np.a ;
in insertInf infCompl emptyObjVP ;
_ => case hasPrep of {
True => vp ;
False => vp ** { n0 = \\_ => vp.n0 ! np.a ;
n2 = \\_ => vp.n2 ! np.a }
}
} ;
in insertArg newVP ;