From d5d878e83ce44cb80d2cf07c5252c92180d46442 Mon Sep 17 00:00:00 2001 From: KtorZ Date: Thu, 29 Dec 2022 17:40:09 +0100 Subject: [PATCH] Add acceptance test scenario: 037 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/aiken- │ project/src/lib.rs:701:36 ╰─▶ called `Result::unwrap()` on an `Err` value: FreeUnique(Name { text: "_not", unique: Unique(1) }) ``` --- examples/acceptance_tests/037/aiken.lock | 5 +++++ examples/acceptance_tests/037/aiken.toml | 2 ++ examples/acceptance_tests/037/lib/tests.ak | 3 +++ 3 files changed, 10 insertions(+) create mode 100644 examples/acceptance_tests/037/aiken.lock create mode 100644 examples/acceptance_tests/037/aiken.toml create mode 100644 examples/acceptance_tests/037/lib/tests.ak diff --git a/examples/acceptance_tests/037/aiken.lock b/examples/acceptance_tests/037/aiken.lock new file mode 100644 index 00000000..3a78b1e7 --- /dev/null +++ b/examples/acceptance_tests/037/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/037/aiken.toml b/examples/acceptance_tests/037/aiken.toml new file mode 100644 index 00000000..6ac5452a --- /dev/null +++ b/examples/acceptance_tests/037/aiken.toml @@ -0,0 +1,2 @@ +name = "aiken-lang/acceptance_test_037" +version = "0.0.0" diff --git a/examples/acceptance_tests/037/lib/tests.ak b/examples/acceptance_tests/037/lib/tests.ak new file mode 100644 index 00000000..751064bf --- /dev/null +++ b/examples/acceptance_tests/037/lib/tests.ak @@ -0,0 +1,3 @@ +test foo() { + not(False) +}