(Ara) ComplSlash: retain old object. Slash3V3: insert c3 into new c2.

This commit is contained in:
Inari Listenmaa
2018-10-01 12:06:14 +02:00
parent fcf13dc89f
commit fb9ebf782f
2 changed files with 6 additions and 4 deletions
+2 -2
View File
@@ -6,8 +6,8 @@ concrete VerbAra of Verb = CatAra ** open Prelude, ResAra in {
UseV = predV ;
SlashVV vv vps = vps ** predV vv ; ----IL
SlashV2a v = predV v ** {c2 = v.c2};
Slash3V3 v np = insertObj np (predV v) ** {c2 = v.c2};
SlashV2a v = predVSlash v ;
Slash3V3 v np = insertObj np (predVSlash v) ** {c2 = v.c3};
ComplSlash vp np = insertObj np vp ;