From 6153b4f7f8e80c8e55019fa3fe48429c12f6cd5d Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Fri, 22 Sep 2023 13:48:11 +0200
Subject: [PATCH] add a couple of failing examples

---
 examples/fail.quox | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 examples/fail.quox

diff --git a/examples/fail.quox b/examples/fail.quox
new file mode 100644
index 0000000..7d3ed8a
--- /dev/null
+++ b/examples/fail.quox
@@ -0,0 +1,10 @@
+@[fail "but cases for"]
+def missing-b : {a, b} → {a} =
+  λ x ⇒ case x return {a} of { 'a ⇒ 'a }
+
+-- @[fail "duplicate tags"]
+-- def repeat-enum-case : {a} → {a} =
+--   λ x ⇒ case x return {a} of { 'a ⇒ 'a; 'a ⇒ 'a }
+
+@[fail "duplicate tags"]
+def repeat-enum-type : {a, a} = 'a