Fix unnecessary errors with computed shape 0, such as 1e8‿⌊‿1e8⥊↕5

This commit is contained in:
Marshall Lochbaum 2022-09-03 14:30:52 -04:00
parent 97bfacec44
commit 7792c60180

View File

@ -147,6 +147,7 @@ B shape_c2(B t, B w, B x) {
unkPos = i;
if (!isPrim(c)) thrM("⥊: 𝕨 must consist of natural numbers or ∘ ⌊ ⌽ ↑");
unkInd = ((i32)v(c)->flags) - 1;
good|= xia==0 | unkInd==n_floor;
}
}
if (bad && !good) thrM("⥊: 𝕨 too large");