Catch errors in bodies that should fail on 𝕨 instead of skipping them

1 files changed, 1 insertions, 0 deletions

diff --git a/test/cases/header.bqn b/test/cases/header.bqn
index 5fd646a3..d671c088 100644
--- a/test/cases/header.bqn
+++ b/test/cases/header.bqn
@@ -110,6 +110,7 @@
 4 %   +⟜1{𝔽_r_𝔾 𝕩:𝔽𝕩; 𝕨𝔽_r_𝔾𝕩:𝕨𝔾𝕩}⋆ 3
 8 % 2 +⟜1{𝔽_r_𝔾 𝕩:𝔽𝕩; 𝕨𝔽_r_𝔾𝕩:𝕨𝔾𝕩}⋆ 3
 2 % +⟜1{F _r_ G:{𝕊𝕩:F𝕩; 𝕨𝕊𝕩:𝕨G𝕩}}⋆{2⊸𝔽÷𝔽}3
+! % {𝕨Fail𝕩:𝕨;𝕩}@
 
 # Destructuring
 2 % {𝕊a‿b:b-a}3‿5