From 00b800c456a67d1409add0b21f7a20898edcdaf2 Mon Sep 17 00:00:00 2001
From: KtorZ <matthias.benkort@gmail.com>
Date: Thu, 15 Dec 2022 02:22:00 +0100
Subject: [PATCH] Add new acceptance test scenario (016)
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:616:36
    ╰─▶ called `Result::unwrap()` on an `Err` value: FreeUnique(Name { text: "test_slice", unique:
        Unique(7) })
  ```
---
 examples/acceptance_tests/016/aiken.toml  |  2 ++
 examples/acceptance_tests/016/lib/test.ak | 19 +++++++++++++++++++
 2 files changed, 21 insertions(+)
 create mode 100644 examples/acceptance_tests/016/aiken.toml
 create mode 100644 examples/acceptance_tests/016/lib/test.ak

diff --git a/examples/acceptance_tests/016/aiken.toml b/examples/acceptance_tests/016/aiken.toml
new file mode 100644
index 00000000..2c34e1f4
--- /dev/null
+++ b/examples/acceptance_tests/016/aiken.toml
@@ -0,0 +1,2 @@
+name = "acceptance_test_016"
+version = "0.0.0"
diff --git a/examples/acceptance_tests/016/lib/test.ak b/examples/acceptance_tests/016/lib/test.ak
new file mode 100644
index 00000000..38094132
--- /dev/null
+++ b/examples/acceptance_tests/016/lib/test.ak
@@ -0,0 +1,19 @@
+use aiken/builtin
+
+pub fn slice(bytes: ByteArray, start: Int, end: Int) -> ByteArray {
+  builtin.slice_bytearray(start, end, bytes)
+}
+
+pub fn length(bytes: ByteArray) -> Int {
+  builtin.length_of_bytearray(bytes)
+}
+
+pub fn drop(bytes: ByteArray, n: Int) -> ByteArray {
+  slice(bytes, n, length(bytes) - n)
+}
+
+test drop_1() {
+  let x = #[1, 2, 3, 4, 5, 6, 7]
+  drop(x, 2) == #[3, 4, 5, 6, 7]
+}
+