From d93857e9c726e2fde5ce2e66fde25dacec7f3999 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Sun, 16 May 2021 10:32:24 -0400 Subject: =?UTF-8?q?Avoid=20unhandled=20error=20in=20structural=20part=20of?= =?UTF-8?q?=20Under=20with=20block=20modifier=20in=20=F0=9D=94=BE?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/r1.bqn | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) (limited to 'src') diff --git a/src/r1.bqn b/src/r1.bqn index 6af1f0c1..fe4db087 100644 --- a/src/r1.bqn +++ b/src/r1.bqn @@ -478,11 +478,13 @@ structFn ← { }⟩) StructPrim ← {p←SP𝕩⋄𝕨P𝕩} + Recomp ← (E˙=≥⟜3⊸⊑)◶⟨Recompose,E˙⟩ + 0⊸≤◶⟨3,2⊸≤◶⊢‿2⟩∘(0⊑⊢)◶⟨ - SE ⊣ StructPrim 1⊑⊢ # 0 primitive - StructErr˙˙ # 1 block - 0⊸⊑ Recompose {𝕨˙⊸StructFn⌜1↓𝕩} # other operation - SE 1⊑⊢ # ¯1 constant + SE ⊣ StructPrim 1⊑⊢ # 0 primitive + E˙ # 1 block + 0⊸⊑ Recomp {𝕨˙⊸StructFn⌜1↓𝕩} # other operation + SE 1⊑⊢ # ¯1 constant ⟩⟜{Decompose𝕩} } -- cgit v1.2.3