From bc7c236b3b8393d6022105f8e97ba5a2d9ec9950 Mon Sep 17 00:00:00 2001 From: KtorZ Date: Tue, 13 Dec 2022 23:02:49 +0100 Subject: [PATCH] Add new acceptance test scenario (013) ``` ERROR: The provided Plutus code called 'error' ``` --- examples/acceptance_tests/013/aiken.toml | 2 ++ examples/acceptance_tests/013/lib/test.ak | 13 +++++++++++++ 2 files changed, 15 insertions(+) create mode 100644 examples/acceptance_tests/013/aiken.toml create mode 100644 examples/acceptance_tests/013/lib/test.ak diff --git a/examples/acceptance_tests/013/aiken.toml b/examples/acceptance_tests/013/aiken.toml new file mode 100644 index 00000000..c86153a1 --- /dev/null +++ b/examples/acceptance_tests/013/aiken.toml @@ -0,0 +1,2 @@ +name = "acceptance_test_013" +version = "0.0.0" diff --git a/examples/acceptance_tests/013/lib/test.ak b/examples/acceptance_tests/013/lib/test.ak new file mode 100644 index 00000000..8f0aa2bb --- /dev/null +++ b/examples/acceptance_tests/013/lib/test.ak @@ -0,0 +1,13 @@ +pub fn unzip(xs: List<#(a, b)>) -> #(List, List) { + when xs is { + [] -> #([], []) + [#(a, b), ..rest] -> { + let #(a_tail, b_tail) = unzip(rest) + #([a, ..a_tail], [b, ..b_tail]) + } + } +} + +test unzip_1() { + unzip([#(1, "a"), #(2, "b")]) == #([1, 2], ["a", "b"]) +}