Check Rotate left argument type even if right argument is empty

mlochbaum · Apr 3, 2024 · 80ad209 · 80ad209
1 parent 86c7af6
commit 80ad209
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/docs/bqn.js b/docs/bqn.js
diff --git a/src/r1.bqn b/src/r1.bqn
@@ -320,8 +320,8 @@ Reverse←{
   l←≠𝕩
   ((l-1)⊸-⌜↕l) ⊏ 𝕩
 }
-RotReduce ← {
-  "𝕨⌽𝕩: 𝕨 must consist of integers" ! Int𝕨
+RotCheck ← ("𝕨⌽𝕩: 𝕨 must consist of integers" ! Int)⊸⊢
+RotReduce ← RotCheck⊸{
   𝕩+↩0=𝕩 ⋄ r←𝕨-𝕩×⌊𝕨÷𝕩
   "𝕨⌽𝕩: 𝕨 too large" ! r<𝕩
   r
@@ -330,7 +330,7 @@ RotL ← ↓∾↑
 Rot ← (1==∘⊢)◶⟨RotL⟜(↕≠)⊏⊢,RotL⟩
 Rotate ← ⟨"⌽"
   IsAtom, 0,0
-  (RotReduce⟜≠ Rot ⊢)⍟(0<≠∘⊢)
+  (0<≠∘⊢)◶⟨RotCheck⊸⊢, RotReduce⟜≠ Rot ⊢⟩
   (RotReduce RotL ·↕⊢)
 ⟩_multiAxis⟜ToArray _fillBy_ ⊢