Header destructuring support

1 files changed, 6 insertions, 0 deletions

diff --git a/test/cases/header.bqn b/test/cases/header.bqn
index d03ee0ff..50788228 100644
--- a/test/cases/header.bqn
+++ b/test/cases/header.bqn
@@ -61,6 +61,7 @@
 ! % {,𝕨𝕊𝕊𝕩:{𝕩+1}𝕨}
 ! % ⟨@,{𝕨‿𝕩𝕊𝕩:@}⟩
 ! % {𝕊:𝕊:𝕩}
+! % {𝕊⟨a←b⟩:𝕩}
 
 # Headers
 5 % {𝕨𝕊𝕩:1+𝕩}4
@@ -82,3 +83,8 @@
 1 % {𝕊𝕩:0;𝕨𝕊𝕩:1}{(𝔽5)<(4𝔽5)}
 3 % {𝕨A𝕩:𝕨≠𝕩;𝕨B𝕩:!0}"xyz"
 5 % {{𝕨F𝕩:a←𝕩,{!a≡𝕩,a-3}𝕨;𝕊:!0}{𝔽_𝕣:𝕗˜}{2×𝕩;𝕨}4}
+
+# Destructuring
+2 % {𝕊a‿b:b-a}3‿5
+! % {𝕊a‿b:𝕩}↕4
+3 % {𝕊a‿b:b-a;≠𝕩}3‿5‿6