(Ara) Add ReflA2 and ReflVP

This commit is contained in:
Inari Listenmaa committed 2019-01-05 21:30:57 +02:00
1 parent e448f0e869
commit b2ea7a5497
3 files changed
+10 -13

No files matched your search

+6 -3
View File
@@ -99,9 +99,12 @@ concrete VerbAra of Verb = CatAra ** open Prelude, ResAra, ParamX in {
AdVVP adv = insertStr adv.s ;
AdVVPSlash adv vps = vps ** insertStr adv.s vps ;
--
-- ReflV2 v = insertObj (\\a => v.c2 ++ reflPron ! a) (predV v) ;
--
-- : VPSlash -> VP ; -- love himself
ReflVP vps = vps ** {
s = \\pgn,vf => vps.s ! pgn ! vf ++ reflPron Acc pgn
} ;
PassV2 = passPredV ;
--
-- UseVS, UseVQ = \vv -> {s = vv.s ; c2 = [] ; isRefl = vv.isRefl} ; -- no