From d608c5013083368d4942ca02401e207355ab5628 Mon Sep 17 00:00:00 2001 From: Micah Kendall Date: Mon, 23 Jan 2023 01:12:29 +1100 Subject: [PATCH] Added 048 acceptance test --- examples/acceptance_tests/048/aiken.lock | 5 +++++ examples/acceptance_tests/048/aiken.toml | 3 +++ examples/acceptance_tests/048/lib/tests.ak | 9 +++++++++ examples/acceptance_tests/048/validators/foo.ak | 9 +++++++++ 4 files changed, 26 insertions(+) create mode 100644 examples/acceptance_tests/048/aiken.lock create mode 100644 examples/acceptance_tests/048/aiken.toml create mode 100644 examples/acceptance_tests/048/lib/tests.ak create mode 100644 examples/acceptance_tests/048/validators/foo.ak diff --git a/examples/acceptance_tests/048/aiken.lock b/examples/acceptance_tests/048/aiken.lock new file mode 100644 index 00000000..3a78b1e7 --- /dev/null +++ b/examples/acceptance_tests/048/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/048/aiken.toml b/examples/acceptance_tests/048/aiken.toml new file mode 100644 index 00000000..29f3e549 --- /dev/null +++ b/examples/acceptance_tests/048/aiken.toml @@ -0,0 +1,3 @@ +name = 'aiken-lang/acceptance_test_048' +version = '0.0.0' +description = '' diff --git a/examples/acceptance_tests/048/lib/tests.ak b/examples/acceptance_tests/048/lib/tests.ak new file mode 100644 index 00000000..7cef193d --- /dev/null +++ b/examples/acceptance_tests/048/lib/tests.ak @@ -0,0 +1,9 @@ +pub fn when_tuple(a: (Int, Int)) -> Int { + when a is { + (a, b) -> a + } +} + +test when_tuple_1() { + when_tuple((4, 1)) == 4 +} diff --git a/examples/acceptance_tests/048/validators/foo.ak b/examples/acceptance_tests/048/validators/foo.ak new file mode 100644 index 00000000..487266c9 --- /dev/null +++ b/examples/acceptance_tests/048/validators/foo.ak @@ -0,0 +1,9 @@ +fn when_tuple(a: (Int, Int)) -> Int { + when a is { + (a, b) -> a + } +} + +pub fn spend(a, b, c) -> Bool { + when_tuple((4, 1)) == 4 +}