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

---
 dzref | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

(limited to 'dzref')

diff --git a/dzref b/dzref
index 2c38fd2d..28bba9d5 100755
--- a/dzref
+++ b/dzref
@@ -4,7 +4,14 @@ impl ← "
 #⌜
 # LAYER 4: Operators
 
-_ranks ← {⟨2⟩⊘⟨1,0⟩((⊣-1+|)˜⟜≠⊑¨<∘⊢)⥊∘𝔽}
+ValidateRanks←{
+  ! 1≥=𝕩
+  𝕩↩⥊𝕩
+  ! (1⊸≤∧≤⟜3)≠𝕩
+  ! ∧´⌊⊸=⌜𝕩
+  𝕩
+}
+_ranks ← {⟨2⟩⊘⟨1,0⟩ ((⊣-1+|)˜⟜≠⊑¨<∘⊢) ValidateRanks∘𝔽}
 _depthOp_←{
   neg←0>n←𝕨𝔾_ranks𝕩 ⋄ F←𝔽
   _d←{
-- 
cgit v1.2.3