Avoid unhandled error in structural part of Under with block modifier in 𝔾

1 files changed, 6 insertions, 4 deletions

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𝕩}
 }