From a36e0f809c85f4ad5cc0897a6630fb9faf809c15 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Thu, 20 Feb 2014 10:27:15 -0500
Subject: Some more nested functor bug-fixing, including generating fresh
 internal names at applications; still need to debug issues with datatype
 constructors

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

(limited to 'tests/functorMadness.ur')

diff --git a/tests/functorMadness.ur b/tests/functorMadness.ur
new file mode 100644
index 00000000..c7ddeaca
--- /dev/null
+++ b/tests/functorMadness.ur
@@ -0,0 +1,18 @@
+functor F(M : sig end) = struct
+    fun f () = f ()
+
+    functor G(M : sig end) = struct
+        fun g () = f ()
+    end
+end
+
+structure M1 = F(struct end)
+structure M2 = F(struct end)
+
+structure N1 = M1.G(struct end)
+structure N2 = M2.G(struct end)
+
+fun main () : transaction page =
+    return (N1.g ());
+    return (N2.g ());
+    return <xml/>
-- 
cgit v1.2.3