From cf7a20b9861fe15433d86f9188da20fe2c79385f Mon Sep 17 00:00:00 2001 From: KtorZ Date: Tue, 7 Feb 2023 14:49:37 +0100 Subject: [PATCH] Add new acceptance test scenario: 052 Pattern-match on unary constructors. --- examples/acceptance_tests/052/aiken.lock | 5 +++++ examples/acceptance_tests/052/aiken.toml | 3 +++ examples/acceptance_tests/052/lib/tests.ak | 17 +++++++++++++++++ 3 files changed, 25 insertions(+) create mode 100644 examples/acceptance_tests/052/aiken.lock create mode 100644 examples/acceptance_tests/052/aiken.toml create mode 100644 examples/acceptance_tests/052/lib/tests.ak diff --git a/examples/acceptance_tests/052/aiken.lock b/examples/acceptance_tests/052/aiken.lock new file mode 100644 index 00000000..3a78b1e7 --- /dev/null +++ b/examples/acceptance_tests/052/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/052/aiken.toml b/examples/acceptance_tests/052/aiken.toml new file mode 100644 index 00000000..f95d5d3c --- /dev/null +++ b/examples/acceptance_tests/052/aiken.toml @@ -0,0 +1,3 @@ +name = 'aiken-lang/acceptance_test_052' +version = '0.0.0' +description = '' diff --git a/examples/acceptance_tests/052/lib/tests.ak b/examples/acceptance_tests/052/lib/tests.ak new file mode 100644 index 00000000..7a18a88a --- /dev/null +++ b/examples/acceptance_tests/052/lib/tests.ak @@ -0,0 +1,17 @@ +type TransactionId { + inner: ByteArray, +} + +test pattern_match_let() { + let x = TransactionId { inner: #"0000" } + let TransactionId(y) = x + y == #"0000" +} + +test pattern_match_when() { + let x = TransactionId { inner: #"0000" } + let y = when x is { + TransactionId(y) -> y + } + y == #"0000" +}