fix isPervasiveDyExt on 5˜

This commit is contained in:
dzaima 2024-03-25 15:44:22 +02:00
parent 10a58878d7
commit 96cf03311a
2 changed files with 6 additions and 1 deletions

View File

@ -96,7 +96,7 @@ static bool isPervasiveDyExt(B x) {
if (isPervasiveDy(x)) return true;
if (TY(x)==t_md1D) {
Md1D* d = c(Md1D, x);
if (d->m1->flags-1 == n_swap) return isPervasiveDy(d->f);
if (d->m1->flags-1 == n_swap && isFun(d->f)) return isPervasiveDy(d->f);
}
return false;
}

View File

@ -357,3 +357,8 @@ w←1‿1⥊1 ⋄ x←2⥊1 ⋄ w‿x <¨↩ ⋄ {! (∾⟨•Repr𝕩,": Expe
# ⌜
!"⌜: Result rank too large (200≡=𝕨, 200≡=𝕩)" % +˜(2001)1
# ˜
5˜˝ "ab" %% 5
5˜˜ "a" %% [[5]]
5˜˝˘"ab" %% 5