From 95df5f9137051b4078601605d24ec9dc9730de7c Mon Sep 17 00:00:00 2001 From: KtorZ Date: Wed, 14 Dec 2022 01:08:41 +0100 Subject: [PATCH] Add new acceptance test scenario (014) --- examples/acceptance_tests/014/aiken.toml | 2 ++ examples/acceptance_tests/014/lib/test.ak | 17 +++++++++++++++++ 2 files changed, 19 insertions(+) create mode 100644 examples/acceptance_tests/014/aiken.toml create mode 100644 examples/acceptance_tests/014/lib/test.ak diff --git a/examples/acceptance_tests/014/aiken.toml b/examples/acceptance_tests/014/aiken.toml new file mode 100644 index 00000000..2f582156 --- /dev/null +++ b/examples/acceptance_tests/014/aiken.toml @@ -0,0 +1,2 @@ +name = "acceptance_test_014" +version = "0.0.0" diff --git a/examples/acceptance_tests/014/lib/test.ak b/examples/acceptance_tests/014/lib/test.ak new file mode 100644 index 00000000..bac75f88 --- /dev/null +++ b/examples/acceptance_tests/014/lib/test.ak @@ -0,0 +1,17 @@ +pub fn range(from: Int, to: Int) -> List { + if from > to { + [] + } else { + [from, ..range(from + 1, to)] + } +} + +test range_1() { + range(0, 2) == [0, 1, 2] +} + +// NOTE: +// Somehow, the left-hand evaluates to: [#02, #01, #00, #32] +test range_2() { + range(0 - 1, 2) == [0 - 1, 0, 1, 2] +}