From 9b19f308a34b54866e7cc4203dc8e4876b07d5ae Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sat, 21 Apr 2012 13:57:10 -0400
Subject: Avoid kindof failures in elaboration

---
 tests/unbound.ur | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 tests/unbound.ur

(limited to 'tests/unbound.ur')

diff --git a/tests/unbound.ur b/tests/unbound.ur
new file mode 100644
index 00000000..3f508e5f
--- /dev/null
+++ b/tests/unbound.ur
@@ -0,0 +1,3 @@
+structure M = struct end
+
+fun f (x : $M.r) : $([A = int] ++ M.r) = x
-- 
cgit v1.2.3