the proper place of verb particle in Eng passives

This commit is contained in:
aarne
2013-03-12 20:06:51 +00:00
parent d14589804e
commit 367123c81b
2 changed files with 3 additions and 3 deletions

View File

@@ -44,7 +44,7 @@ concrete VerbEng of Verb = CatEng ** open ResEng, Prelude in {
ReflVP v = insertObjPre (\\a => v.c2 ++ reflPron ! a) v ;
PassV2 v = insertObj (\\_ => v.s ! VPPart) (predAux auxBe) ;
PassV2 v = insertObj (\\_ => v.s ! VPPart ++ v.p) (predAux auxBe) ;
---b UseVS, UseVQ = \vv -> {s = vv.s ; c2 = [] ; isRefl = vv.isRefl} ; -- no "to"