make ⟨⟩≡∾⟨⟩ under PROPER_FILLS

This commit is contained in:
dzaima 2024-10-09 01:14:12 +03:00
parent 03f2f29f3b
commit 183f64c1f9
2 changed files with 3 additions and 1 deletions

View File

@ -718,7 +718,8 @@ B join_c1(B t, B x) {
ur xr = RNK(x);
usz xia = IA(x);
if (xia==0) {
B xf = getFillE(x);
B xf = getFillR(x);
if (noFill(xf)) return x;
if (isAtm(xf)) {
decA(xf); decG(x);
if (!PROPER_FILLS && xr==1) return emptyHVec();

View File

@ -199,6 +199,7 @@ w←1‿1⥊1 ⋄ x←2⥊1 ⋄ w‿x <¨↩ ⋄ {! (∾⟨•Repr𝕩,": Expe
33<1030 %% 3030
33<00 %% 00
133<103<"hi" %% " "
%%
# 𝕨∾𝕩
!"∾: Lengths not matchable (⟨6⟩ ≡ ≢𝕨, 1‿1 ≡ ≢𝕩)" % ("abc""def")"a"