From 0cc6f2a6c271301b39cff260d5b319accb584d85 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Mon, 31 May 2021 14:44:55 -0400
Subject: Avoid breaking bound when taking a shape prefix

---
 test/fuzz.bqn | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'test')

diff --git a/test/fuzz.bqn b/test/fuzz.bqn
index ee116a2f..303eb930 100644
--- a/test/fuzz.bqn
+++ b/test/fuzz.bqn
@@ -55,7 +55,10 @@ RandArith ← {
 }
 # 𝕩 is bound
 RandMonArith ← RandArith⟜RandShape
-RandDyArith ← { 𝕨⊸RandArith¨ (Rand 2) ⌽ (Rand 1+≠)⊸(⊢≍○<↑) RandShape 𝕩 }
+RandDyArith ← {
+  Prefix ← (∨`⌾⌽ 𝕩 ≥ ×`)⊸/ (Rand 1+≠)⊸↑
+  𝕨⊸RandArith¨ (Rand 2) ⌽ ≍○<⟜Prefix RandShape 𝕩
+}
 
 types ← 0‿3‿4‿5‿6
 types { ! (𝕨+𝕩)≡𝕨--𝕩 }´∘RandDyArith⌜ 100⥊1e3
-- 
cgit v1.2.3