add 𝕩 to error messages of <⁼𝕩, ⋈⁼𝕩, ≍⁼𝕩

This commit is contained in:
dzaima 2025-03-02 19:32:49 +02:00
parent 445007b38c
commit 17ec5f0a8a
4 changed files with 24 additions and 24 deletions

View File

@ -1512,18 +1512,18 @@ B reverse_ix(B t, B w, B x) {
} }
NOINLINE B enclose_im(B t, B x) { NOINLINE B enclose_im(B t, B x) {
if (isAtm(x) || RNK(x)!=0) thrM("<⁼: Argument wasn't a rank 0 array"); if (isAtm(x) || RNK(x)!=0) thrM("<⁼𝕩: Argument wasn't a rank 0 array");
return TO_GET(x, 0); return TO_GET(x, 0);
} }
NOINLINE B pair_im(B t, B x) { NOINLINE B pair_im(B t, B x) {
if (isAtm(x) || RNK(x)!=1 || IA(x)!=1) thrM("⋈⁼: Argument wasn't a length-1 list"); if (isAtm(x) || RNK(x)!=1 || IA(x)!=1) thrM("⋈⁼𝕩: Argument wasn't a length-1 list");
return TO_GET(x, 0); return TO_GET(x, 0);
} }
B select_c1(B,B); B select_c1(B,B);
NOINLINE B couple_im(B t, B x) { NOINLINE B couple_im(B t, B x) {
if (isAtm(x) || RNK(x)==0 || *SH(x)!=1) thrM("≍⁼: Argument must have a leading axis of 1"); if (isAtm(x) || RNK(x)==0 || *SH(x)!=1) thrM("≍⁼𝕩: Argument must have a leading axis of 1");
return C1(select,x); return C1(select,x);
} }

View File

@ -117,10 +117,10 @@
¯2 4213248 %% 423248 ¯2 4213248 %% 423248
1 "foo" %% <"foo" 1 "foo" %% <"foo"
1 10 %% <10 1 10 %% <10
!"≍⁼: Argument must have a leading axis of 1" % ˘ 1102 !"≍⁼𝕩: Argument must have a leading axis of 1" % ˘ 1102
!"≍⁼: Argument must have a leading axis of 1" % ¯2 112111 !"≍⁼𝕩: Argument must have a leading axis of 1" % ¯2 112111
!"≍⁼: Argument must have a leading axis of 1" % ¯2 1110 !"≍⁼𝕩: Argument must have a leading axis of 1" % ¯2 1110
!"≍⁼: Argument must have a leading axis of 1" % 0 10 !"≍⁼𝕩: Argument must have a leading axis of 1" % 0 10
%USE eqvar (10051) ˘_eqvar 10071 %% 0=(100) |˜ 57 %USE eqvar (10051) ˘_eqvar 10071 %% 0=(100) |˜ 57
%USE eqvar ('a'+1005) ˘_eqvar 1007 %% 'a'0 +1 (100) |˜ 57 %USE eqvar ('a'+1005) ˘_eqvar 1007 %% 'a'0 +1 (100) |˜ 57

View File

@ -158,18 +158,18 @@ n←500 ⋄ a←↕n ⋄ i←(-n)+↕2×n ⋄ r←⌽(2×n)⥊a ⋄ ! (⌽a) ≡
< 4 %% 4 < 4 %% 4
(<5)< 4 %% 5 (<5)< 4 %% 5
{<"cd"}< "ab" %% "cd" {<"cd"}< "ab" %% "cd"
!"<⁼: Argument wasn't a rank 0 array" % 4< "ab" !"<⁼𝕩: Argument wasn't a rank 0 array" % 4< "ab"
!"<⁼: Argument wasn't a rank 0 array" % {}< "ab" !"<⁼𝕩: Argument wasn't a rank 0 array" % {}< "ab"
!"<⁼: Argument wasn't a rank 0 array" % < 2 !"<⁼𝕩: Argument wasn't a rank 0 array" % < 2
# ⋈ # ⋈
4 %% 4 4 %% 4
(5) 4 %% 5 (5) 4 %% 5
{"cd"} "ab" %% "cd" {"cd"} "ab" %% "cd"
!"⋈⁼: Argument wasn't a length-1 list" % 4 "ab" !"⋈⁼𝕩: Argument wasn't a length-1 list" % 4 "ab"
!"⋈⁼: Argument wasn't a length-1 list" % {} "ab" !"⋈⁼𝕩: Argument wasn't a length-1 list" % {} "ab"
!"⋈⁼: Argument wasn't a length-1 list" % 2 !"⋈⁼𝕩: Argument wasn't a length-1 list" % 2
!"⋈⁼: Argument wasn't a length-1 list" % (<4) 2 !"⋈⁼𝕩: Argument wasn't a length-1 list" % (<4) 2
# k⊸⌽ # k⊸⌽
!"𝕨⌽⁼𝕩: 𝕩 must have rank at least 1" % 1(2) 10 !"𝕨⌽⁼𝕩: 𝕩 must have rank at least 1" % 1(2) 10

View File

@ -1,22 +1,22 @@
< <"foo" %% "foo" < <"foo" %% "foo"
!"<⁼: Argument wasn't a rank 0 array" % < 4 !"<⁼𝕩: Argument wasn't a rank 0 array" % < 4
!"<⁼: Argument wasn't a rank 0 array" % < 0 !"<⁼𝕩: Argument wasn't a rank 0 array" % < 0
!"<⁼: Argument wasn't a rank 0 array" % < "f" !"<⁼𝕩: Argument wasn't a rank 0 array" % < "f"
"foo" %% "foo" "foo" %% "foo"
"f" %% 'f' "f" %% 'f'
!"⋈⁼: Argument wasn't a length-1 list" % 4 !"⋈⁼𝕩: Argument wasn't a length-1 list" % 4
!"⋈⁼: Argument wasn't a length-1 list" % 0 !"⋈⁼𝕩: Argument wasn't a length-1 list" % 0
!"⋈⁼: Argument wasn't a length-1 list" % "f" !"⋈⁼𝕩: Argument wasn't a length-1 list" % "f"
"foo" %% <"foo" "foo" %% <"foo"
5 %% <5 5 %% <5
1236 %% 236 1236 %% 236
122 %% 2 122 %% 2
!"≍⁼: Argument must have a leading axis of 1" % 5 !"≍⁼𝕩: Argument must have a leading axis of 1" % 5
!"≍⁼: Argument must have a leading axis of 1" % <"foo" !"≍⁼𝕩: Argument must have a leading axis of 1" % <"foo"
!"≍⁼: Argument must have a leading axis of 1" % "foo" !"≍⁼𝕩: Argument must have a leading axis of 1" % "foo"
!"≍⁼: Argument must have a leading axis of 1" % 311<"foo" !"≍⁼𝕩: Argument must have a leading axis of 1" % 311<"foo"
!"⌽𝕩: 𝕩 cannot be a unit" % 0 !"⌽𝕩: 𝕩 cannot be a unit" % 0
10 %% 9-10 10 %% 9-10