From 5a087f2a1fa5024a11c1b614d78b303edcbf57c6 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Thu, 27 Aug 2015 16:28:45 -0400
Subject: Proper error message for excessively fancy FFI signatures

---
 tests/ffisub.urs | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 tests/ffisub.urs

(limited to 'tests/ffisub.urs')

diff --git a/tests/ffisub.urs b/tests/ffisub.urs
new file mode 100644
index 00000000..ce245884
--- /dev/null
+++ b/tests/ffisub.urs
@@ -0,0 +1,5 @@
+structure S : sig
+  type t
+end
+
+val x : S.t
-- 
cgit v1.2.3