From 022fc36dd221d65934429e465691aa4e688a727c Mon Sep 17 00:00:00 2001
From: KtorZ <matthias.benkort@gmail.com>
Date: Tue, 13 Dec 2022 14:14:28 +0100
Subject: [PATCH] Add new (failing) acceptance test (007)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

  ```
  Error: aiken::check

    × Checking
    ╰─▶ Not a function
     ╭─[./007/lib/test.ak:4:1]
   4 │     [(a, b), ..rest] -> {
   5 │       let (a_tail, b_tail) = unzip(rest)
     ·                                   ──────
   6 │       ([a, ..a_tail], [b, ..b_tail])
     ╰────
  ```
---
 examples/acceptance_tests/007/aiken.toml  | 2 ++
 examples/acceptance_tests/007/lib/test.ak | 9 +++++++++
 2 files changed, 11 insertions(+)
 create mode 100644 examples/acceptance_tests/007/aiken.toml
 create mode 100644 examples/acceptance_tests/007/lib/test.ak

diff --git a/examples/acceptance_tests/007/aiken.toml b/examples/acceptance_tests/007/aiken.toml
new file mode 100644
index 00000000..a3ee5646
--- /dev/null
+++ b/examples/acceptance_tests/007/aiken.toml
@@ -0,0 +1,2 @@
+name = "acceptance_test_007"
+version = "0.0.0"
diff --git a/examples/acceptance_tests/007/lib/test.ak b/examples/acceptance_tests/007/lib/test.ak
new file mode 100644
index 00000000..82fc7f83
--- /dev/null
+++ b/examples/acceptance_tests/007/lib/test.ak
@@ -0,0 +1,9 @@
+pub fn unzip(xs: List<(a, b)>) -> (List<a>, List<b>) {
+  when xs is {
+    [] -> ([], [])
+    [(a, b), ..rest] -> {
+      let (a_tail, b_tail) = unzip(rest)
+      ([a, ..a_tail], [b, ..b_tail])
+    }
+  }
+}