diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-12-27 18:35:57 -0500 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-12-27 18:35:57 -0500 |
| commit | e0d8a61bdc1cc15238bc1aa30510c7ee2db4feb8 (patch) | |
| tree | 9ba31b902b5fc564231e471c39ddc2b1e2f4d2e5 /spec/reference.bqn | |
| parent | 6a1ccd4bd4b053d494cb9acfc8116550e3de8bec (diff) | |
Validate right operand result for rank and depth operators
Diffstat (limited to 'spec/reference.bqn')
| -rw-r--r-- | spec/reference.bqn | 9 |
1 files changed, 8 insertions, 1 deletions
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←{ |