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] +}