From 7bf2aa4054b8378a76dff63acdccbcdad91f68e6 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Sat, 7 Aug 2021 20:41:31 -0400
Subject: BREAKING: Don't allow First of empty or reshaping empty to non-empty

---
 src/r1.bqn | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'src/r1.bqn')

diff --git a/src/r1.bqn b/src/r1.bqn
index 9052bc6e..b90b71b7 100644
--- a/src/r1.bqn
+++ b/src/r1.bqn
@@ -285,7 +285,7 @@ Select ← ⟨"⊏"
   {(≠𝕩)⊸NormIndS⌜𝕨} ⊏ ⊢
   {𝕩⊸NormIndS⌜𝕨}
 ⟩_multiAxis○ToArray
-First ← IsArray◶⟨⊢, (0<≠)◶⟨Fill,0⊸⊑⟩⥊⟩
+First ← IsArray◶⟨⊢, (0<≠)◶⟨"⊑𝕩: 𝕩 can't be empty"!0˙,0⊸⊑⟩⥊⟩
 
 Reverse←{
   "⌽𝕩: 𝕩 must have rank at least 1" ! 1≤=𝕩
@@ -621,9 +621,10 @@ Reshape←{
     s↩p⊣◶⊢‿a¨s
     {d∾↩(Fill d)⌜↕𝕩-n⋄n}⍟(n⊸<)⍟(3=t)lp×a
   } s
-  s⥊(0<n)◶{(<Fill𝕩)⊣⌜↕l}‿{
+  s⥊{
+    "𝕨⥊𝕩: Can't produce non-empty array from empty 𝕩" ! 0<n
     l >⟜≠◶⟨↑, ⊣(⊢∾-⟜≠↑⊢)÷⟜2⊸{𝕨𝕊⟜(∾˜)⍟(>⟜≠)𝕩}⟩ 𝕩
-  }_fillBy_⊢⍟(1-l=n)d
+  }_fillBy_⊢⍟(1-l=n) d
 }
 
 _group←{
-- 
cgit v1.2.3