From e3ea511b79f6a5e9f748e00ffb4bf5d102cbc4d6 Mon Sep 17 00:00:00 2001 From: KtorZ Date: Thu, 15 Dec 2022 09:53:25 +0100 Subject: [PATCH] Add new acceptance test scenario (019) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit ``` Error: × Main thread panicked. ├─▶ at crates/lang/src/uplc.rs:2001:81 ╰─▶ called `Option::unwrap()` on a `None` value ``` --- examples/acceptance_tests/019/aiken.toml | 2 ++ examples/acceptance_tests/019/lib/test.ak | 14 ++++++++++++++ 2 files changed, 16 insertions(+) create mode 100644 examples/acceptance_tests/019/aiken.toml create mode 100644 examples/acceptance_tests/019/lib/test.ak diff --git a/examples/acceptance_tests/019/aiken.toml b/examples/acceptance_tests/019/aiken.toml new file mode 100644 index 00000000..50327983 --- /dev/null +++ b/examples/acceptance_tests/019/aiken.toml @@ -0,0 +1,2 @@ +name = "acceptance_test_019" +version = "0.0.0" diff --git a/examples/acceptance_tests/019/lib/test.ak b/examples/acceptance_tests/019/lib/test.ak new file mode 100644 index 00000000..c6c876c4 --- /dev/null +++ b/examples/acceptance_tests/019/lib/test.ak @@ -0,0 +1,14 @@ +pub fn map(opt: Option, f: fn(a) -> result) -> Option { + when opt is { + None -> None + Some(a) -> Some(f(a)) + } +} + +test map_1() { + map(None, fn(_) { 14 }) == None +} + +test map_2() { + map(None, fn(_) { Nil }) == None +}