From 603f4a63851e802a0b2606602f32666335fb8b64 Mon Sep 17 00:00:00 2001
From: KtorZ <matthias.benkort@gmail.com>
Date: Tue, 13 Dec 2022 13:46:29 +0100
Subject: [PATCH] Add another failing example (e)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

  ```
  Error:
    × Main thread panicked.
    ├─▶ at crates/lang/src/uplc.rs:1518:45
    ╰─▶ called `Option::unwrap()` on a `None` value
    help: set the `RUST_BACKTRACE=1` environment variable to display a backtrace.
  ```
---
 examples/tests/e/aiken.toml  |  2 ++
 examples/tests/e/lib/main.ak | 16 ++++++++++++++++
 2 files changed, 18 insertions(+)
 create mode 100644 examples/tests/e/aiken.toml
 create mode 100644 examples/tests/e/lib/main.ak

diff --git a/examples/tests/e/aiken.toml b/examples/tests/e/aiken.toml
new file mode 100644
index 00000000..eeade47c
--- /dev/null
+++ b/examples/tests/e/aiken.toml
@@ -0,0 +1,2 @@
+name = "test_e"
+version = "0.0.0"
diff --git a/examples/tests/e/lib/main.ak b/examples/tests/e/lib/main.ak
new file mode 100644
index 00000000..ce9644a7
--- /dev/null
+++ b/examples/tests/e/lib/main.ak
@@ -0,0 +1,16 @@
+use aiken/builtin.{head_list}
+
+pub fn head(xs: List<a>) -> Option<a> {
+  when xs is {
+    [] -> None
+    _ -> Some(head_list(xs))
+  }
+}
+
+test head_1() {
+  head([1, 2, 3]) == Some(1)
+}
+
+test head_2() {
+  head([]) == None
+}