the proper place of verb particle in Eng passives

This commit is contained in:
aarne
2013-03-12 20:06:51 +00:00
parent 5e2d66a9ee
commit 73baf336ce
2 changed files with 3 additions and 3 deletions
+1 -1
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"