add anti array

Author: kaikalii

src/compile/invert/un.rs

@@ -292,6 +292,7 @@ pub static ANTI_PATTERNS: &[&dyn InvertPattern] = &[
     ),
     &MatrixDivPat,
     &NoUnder(AntiCouplePat),
+    &NoUnder(AntiArrayPat),
     &AntiFillPat,
     &AntiTrivial,
     &AntiRepeatPat,
@@ -929,6 +930,36 @@ inverse!(AntiCouplePat, input, _, Prim(Couple, span), {
     Ok((input, inv))
 });
 
+inverse!(
+    AntiArrayPat,
+    input,
+    asm,
+    ref,
+    Array {
+        len,
+        inner,
+        boxed,
+        allow_ext,
+        prim,
+        span
+    },
+    {
+        let mut inner = un_inverse(inner.as_slice(), asm)?;
+        inner.prepend(Node::Unpack {
+            count: *len,
+            unbox: *boxed,
+            allow_ext: *allow_ext,
+            span: *span,
+            prim: *prim,
+        });
+        let inv = Node::from_iter([
+            Mod(Dip, eco_vec![inner.sig_node()?], *span),
+            ImplPrim(MatchPattern, *span),
+        ]);
+        Ok((input, inv))
+    }
+);
+
 inverse!(ContraCouplePat, input, _, Prim(Couple, span), {
     let inv = Node::from_iter([
         ImplPrim(UnCouple, span),

tests/units.ua

@@ -286,6 +286,9 @@ Test!(ₙ:)
 ⍤⤙≍ 2 ⌝⊟ 1 [1 2]
 ⍤⤙≍ 1 ⊙◌°⊸⊟ [1 2] 2
 
+# Anti array
+⍤⤙≍ {2 3} {⌝⊟₃ 1 [1 2 3]}
+
 # Select inverses
 ⍤⤙≍ [0 1 1 2] ⊙◌°⊸⊏ [1 2 2 3] [1 2 3 2]
 ⍤⤙≍ [0 0 0] ⊙◌°⊸⊏ [..1_2] [1_2 3_4 1_2]