From 0d0e698d5e66206dd241f61b52459e840ac27b82 Mon Sep 17 00:00:00 2001
From: KtorZ <matthias.benkort@gmail.com>
Date: Thu, 15 Dec 2022 15:29:56 +0100
Subject: [PATCH] Add new acceptance test scenario (021)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

  ```
  Error: aiken::check

    × Checking
    ╰─▶ Unknown type

        VerificationKey

     ╭─[021/lib/test.ak:4:1]
   4 │ pub type PoolId =
   5 │   Hash<VerificationKey>
     ·        ───────────────
   6 │
     ╰────
  ```
---
 examples/acceptance_tests/021/aiken.toml  | 2 ++
 examples/acceptance_tests/021/lib/test.ak | 8 ++++++++
 2 files changed, 10 insertions(+)
 create mode 100644 examples/acceptance_tests/021/aiken.toml
 create mode 100644 examples/acceptance_tests/021/lib/test.ak

diff --git a/examples/acceptance_tests/021/aiken.toml b/examples/acceptance_tests/021/aiken.toml
new file mode 100644
index 00000000..e0e60656
--- /dev/null
+++ b/examples/acceptance_tests/021/aiken.toml
@@ -0,0 +1,2 @@
+name = "acceptance_test_021"
+version = "0.0.0"
diff --git a/examples/acceptance_tests/021/lib/test.ak b/examples/acceptance_tests/021/lib/test.ak
new file mode 100644
index 00000000..518da889
--- /dev/null
+++ b/examples/acceptance_tests/021/lib/test.ak
@@ -0,0 +1,8 @@
+pub type Hash<a> =
+  ByteArray
+
+pub type PoolId =
+  Hash<VerificationKey>
+
+pub type VerificationKey =
+  ByteArray