make ⊢¨ more consistent with other PureIdentFn¨

incl. making ⊢¨ not leak xf under EACH_FILLS
This commit is contained in:
dzaima 2024-07-09 01:59:19 +03:00
parent 826179c83d
commit 01b1ee3637
2 changed files with 5 additions and 1 deletions

View File

@ -43,7 +43,10 @@ B each_c1(Md1D* d, B x) { B f = d->f;
if (isAtm(x)) r = m_hunit(c1(f, x));
else if (isFun(f)) {
u8 rtid = v(f)->flags-1;
if (rtid==n_ltack || rtid==n_rtack) return x;
if (rtid==n_ltack || rtid==n_rtack) {
if (EACH_FILLS) decG(xf);
return EACH_FILLS || TI(x,arrD1) || IA(x)==0? x : any_squeeze(withFill(x, bi_noFill));
}
r = eachm_fn(f, x, c(Fun,f)->c1);
} else {
usz ia = IA(x);

View File

@ -271,6 +271,7 @@ w←1‿1⥊1 ⋄ x←2⥊1 ⋄ w‿x <¨↩ ⋄ {! (∾⟨•Repr𝕩,": Expe
¨ {a𝕩 231𝕩} 6<"a" %% 231<"a"
¨ {a𝕩 23𝕩} 23<"a" %% 23<"a"
¨ 23<"a" %% 23<"a"
%USE tvar {•Repr𝕩¬! (¨ (10) •internal.PureKeep¨) 𝕩}_tvar¨ 2, 0, 5, 0, "hello", ""
# ⊔
!"⊔: ≠𝕨 must be either ≠𝕩 or one bigger (2≡≠𝕨, 3≡≠𝕩)" % 003