From ed58a1cac79673605cb1c7655190447def4d94aa Mon Sep 17 00:00:00 2001
From: KtorZ <matthias.benkort@gmail.com>
Date: Thu, 15 Dec 2022 09:55:40 +0100
Subject: [PATCH] Add new acceptance test scenario (020)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

  ```
  Error: 020/lib/test.ak

    × map_2 failed
    help: ┍━ left ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┑
          │ Type mismatch expected 'integer' got 'data' │
          ┕━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┙

          should be equal to

          ┍━ right ━━━━━━━━━━━━━━━━┑
          │ (con data #d8799f0fff) │
          ┕━━━━━━━━━━━━━━━━━━━━━━━━┙
  ```
---
 examples/acceptance_tests/020/aiken.toml  |  2 ++
 examples/acceptance_tests/020/lib/test.ak | 10 ++++++++++
 2 files changed, 12 insertions(+)
 create mode 100644 examples/acceptance_tests/020/aiken.toml
 create mode 100644 examples/acceptance_tests/020/lib/test.ak

diff --git a/examples/acceptance_tests/020/aiken.toml b/examples/acceptance_tests/020/aiken.toml
new file mode 100644
index 00000000..10ee4051
--- /dev/null
+++ b/examples/acceptance_tests/020/aiken.toml
@@ -0,0 +1,2 @@
+name = "acceptance_test_020"
+version = "0.0.0"
diff --git a/examples/acceptance_tests/020/lib/test.ak b/examples/acceptance_tests/020/lib/test.ak
new file mode 100644
index 00000000..a199733d
--- /dev/null
+++ b/examples/acceptance_tests/020/lib/test.ak
@@ -0,0 +1,10 @@
+pub fn map(opt: Option<a>, f: fn(a) -> result) -> Option<result> {
+  when opt is {
+    None -> None
+    Some(a) -> Some(f(a))
+  }
+}
+
+test map_2() {
+  map(Some(14), fn(n) { n + 1 }) == Some(15)
+}