From 984237075afd80f9718f4681e1d2776fc463b63a Mon Sep 17 00:00:00 2001
From: KtorZ <matthias.benkort@gmail.com>
Date: Fri, 17 Feb 2023 17:10:48 +0100
Subject: [PATCH] Add new acceptance test scenario: 066

  Mutua recursion.
---
 examples/acceptance_tests/066/aiken.lock   |  5 +++++
 examples/acceptance_tests/066/aiken.toml   |  3 +++
 examples/acceptance_tests/066/lib/tests.ak | 25 ++++++++++++++++++++++
 3 files changed, 33 insertions(+)
 create mode 100644 examples/acceptance_tests/066/aiken.lock
 create mode 100644 examples/acceptance_tests/066/aiken.toml
 create mode 100644 examples/acceptance_tests/066/lib/tests.ak

diff --git a/examples/acceptance_tests/066/aiken.lock b/examples/acceptance_tests/066/aiken.lock
new file mode 100644
index 00000000..3a78b1e7
--- /dev/null
+++ b/examples/acceptance_tests/066/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/066/aiken.toml b/examples/acceptance_tests/066/aiken.toml
new file mode 100644
index 00000000..8b409cd8
--- /dev/null
+++ b/examples/acceptance_tests/066/aiken.toml
@@ -0,0 +1,3 @@
+name = 'aiken-lang/acceptance_test_066'
+version = '0.0.0'
+description = ''
diff --git a/examples/acceptance_tests/066/lib/tests.ak b/examples/acceptance_tests/066/lib/tests.ak
new file mode 100644
index 00000000..a4981ef3
--- /dev/null
+++ b/examples/acceptance_tests/066/lib/tests.ak
@@ -0,0 +1,25 @@
+type Schema {
+  Integer(Int)
+  List(List<Schema>)
+}
+
+fn sum(schema: Schema) -> Int {
+  when schema is {
+    Integer(i) -> i
+    List(xs) -> sum_list(xs)
+  }
+}
+
+fn sum_list(list: List<Schema>) -> Int {
+  when list is {
+    [] -> 0
+    [x, ..xs] -> sum(x) + sum_list(xs)
+  }
+}
+
+test foo() {
+  False
+  // Can't enable the "real" test because it puts the UPLC evaluator in an infinite loop.
+  // -
+  // sum(List([List([Integer(1), Integer(2)]), Integer(3), Integer(4)])) == 10
+}