Some more nested functor bug-fixing, including generating fresh internal names at applications; still need to debug issues with datatype constructors

1 files changed, 18 insertions, 0 deletions

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/>