From f511b2f71b30ad7f24ce721a06bbe783caa423ca Mon Sep 17 00:00:00 2001
From: KtorZ <matthias.benkort@gmail.com>
Date: Mon, 19 Dec 2022 18:55:50 +0100
Subject: [PATCH] Add new acceptance test scenario 024
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

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

        should be equal to

        ┍━ right ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┑
        │ Type mismatch expected 'list pair data data' got 'list data' │
        ┕━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┙
  ```
---
 examples/acceptance_tests/024/aiken.toml  |  2 ++
 examples/acceptance_tests/024/lib/test.ak | 18 ++++++++++++++++++
 2 files changed, 20 insertions(+)
 create mode 100644 examples/acceptance_tests/024/aiken.toml
 create mode 100644 examples/acceptance_tests/024/lib/test.ak

diff --git a/examples/acceptance_tests/024/aiken.toml b/examples/acceptance_tests/024/aiken.toml
new file mode 100644
index 00000000..ce3866b1
--- /dev/null
+++ b/examples/acceptance_tests/024/aiken.toml
@@ -0,0 +1,2 @@
+name = "acceptance_test_024"
+version = "0.0.0"
diff --git a/examples/acceptance_tests/024/lib/test.ak b/examples/acceptance_tests/024/lib/test.ak
new file mode 100644
index 00000000..5633712f
--- /dev/null
+++ b/examples/acceptance_tests/024/lib/test.ak
@@ -0,0 +1,18 @@
+pub fn map2(
+  opt_a: Option<a>,
+  opt_b: Option<b>,
+  f: fn(a, b) -> result,
+) -> Option<result> {
+  when opt_a is {
+    None -> None
+    Some(a) ->
+      when opt_b is {
+        None -> None
+        Some(b) -> Some(f(a, b))
+      }
+  }
+}
+
+test map2_3() {
+  map2(Some(14), Some(42), fn(a, b) { #(a, b) }) == Some(#(14, 42))
+}