From 6e46e7562e4ecc4d0931df181ddc80787f774ed3 Mon Sep 17 00:00:00 2001 From: KtorZ Date: Thu, 15 Dec 2022 02:22:59 +0100 Subject: [PATCH] Add new acceptance test scenario (017) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit ``` Error: × Main thread panicked. ├─▶ at /Users/ktorz/Documents/Projects/aiken-lang/aiken/crates/project/src/lib.rs:596:22 ╰─▶ called `Result::unwrap()` on an `Err` value: FreeUnique(Name { text: "test_slice", unique: Unique(6) }) ``` --- examples/acceptance_tests/017/aiken.toml | 2 ++ examples/acceptance_tests/017/lib/test.ak | 13 +++++++++++++ 2 files changed, 15 insertions(+) create mode 100644 examples/acceptance_tests/017/aiken.toml create mode 100644 examples/acceptance_tests/017/lib/test.ak diff --git a/examples/acceptance_tests/017/aiken.toml b/examples/acceptance_tests/017/aiken.toml new file mode 100644 index 00000000..4718327b --- /dev/null +++ b/examples/acceptance_tests/017/aiken.toml @@ -0,0 +1,2 @@ +name = "acceptance_test_017" +version = "0.0.0" diff --git a/examples/acceptance_tests/017/lib/test.ak b/examples/acceptance_tests/017/lib/test.ak new file mode 100644 index 00000000..af71db7b --- /dev/null +++ b/examples/acceptance_tests/017/lib/test.ak @@ -0,0 +1,13 @@ +use aiken/builtin + +pub fn slice(bytes: ByteArray, start: Int, end: Int) -> ByteArray { + builtin.slice_bytearray(start, end, bytes) +} + +pub fn take(bytes: ByteArray, n: Int) -> ByteArray { + slice(bytes, 0, n) +} + +test take_1() { + take(#[1, 2, 3], 2) == #[1, 2] +}