From 23bf101e08fad7d303d5a89bcc7f97e7e83bc9ea Mon Sep 17 00:00:00 2001 From: KtorZ Date: Mon, 13 Feb 2023 10:35:44 +0100 Subject: [PATCH] Add new acceptance test scenario: 058 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Doesn't like var patterns in list pattern-matching ``` Error: × Main thread panicked. ├─▶ at crates/aiken-lang/src/uplc.rs:770:29 ╰─▶ internal error: entered unreachable code ``` --- examples/acceptance_tests/058/aiken.lock | 5 +++++ examples/acceptance_tests/058/aiken.toml | 2 ++ examples/acceptance_tests/058/lib/tests.ak | 19 +++++++++++++++++++ 3 files changed, 26 insertions(+) create mode 100644 examples/acceptance_tests/058/aiken.lock create mode 100644 examples/acceptance_tests/058/aiken.toml create mode 100644 examples/acceptance_tests/058/lib/tests.ak diff --git a/examples/acceptance_tests/058/aiken.lock b/examples/acceptance_tests/058/aiken.lock new file mode 100644 index 00000000..3a78b1e7 --- /dev/null +++ b/examples/acceptance_tests/058/aiken.lock @@ -0,0 +1,5 @@ +# This file was generated by Aiken +# You typically do not need to edit this file + +requirements = [] +packages = [] diff --git a/examples/acceptance_tests/058/aiken.toml b/examples/acceptance_tests/058/aiken.toml new file mode 100644 index 00000000..745b0f3d --- /dev/null +++ b/examples/acceptance_tests/058/aiken.toml @@ -0,0 +1,2 @@ +name = "aiken-lang/acceptance_test_058" +version = "0.0.0" diff --git a/examples/acceptance_tests/058/lib/tests.ak b/examples/acceptance_tests/058/lib/tests.ak new file mode 100644 index 00000000..d1b6422a --- /dev/null +++ b/examples/acceptance_tests/058/lib/tests.ak @@ -0,0 +1,19 @@ +fn whatever(_xs) { + True +} + +test foo() { + let xs = [1, 2, 3] + when xs is { + [x] -> x == 1 + _ -> whatever(xs) + } +} + +test bar() { + let xs = [1, 2, 3] + when xs is { + [x] -> x == 1 + ys -> whatever(ys) + } +}