From e0d8a61bdc1cc15238bc1aa30510c7ee2db4feb8 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Sun, 27 Dec 2020 18:35:57 -0500
Subject: Validate right operand result for rank and depth operators

---
 spec/reference.bqn | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

(limited to 'spec/reference.bqn')

diff --git a/spec/reference.bqn b/spec/reference.bqn
index 4b17031a..61767343 100644
--- a/spec/reference.bqn
+++ b/spec/reference.bqn
@@ -208,7 +208,14 @@ Merge←(0<≠∘⥊)◶⊢‿{
   ! ∧´⥊(c≡≢)¨𝕩
   𝕩⊑⟜ToArray˜⌜↕c
 }
-_ranks ← {⟨2⟩⊘⟨1,0⟩((⊣-1+|)˜⟜≠⊑¨<∘⊢)⥊∘𝔽}
+ValidateRanks←{
+  ! 1≥=𝕩
+  𝕩↩⥊𝕩
+  ! (1⊸≤∧≤⟜3)≠𝕩
+  ! ∧´Int¨𝕩
+  𝕩
+}
+_ranks ← {⟨2⟩⊘⟨1,0⟩ ((⊣-1+|)˜⟜≠⊑¨<∘⊢) ValidateRanks∘𝔽}
 _depthOp_←{
   neg←0>n←𝕨𝔾_ranks𝕩 ⋄ F←𝔽
   _d←{
-- 
cgit v1.2.3