Validate right operand result for rank and depth operators

1 files changed, 8 insertions, 1 deletions

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←{