diff options
author | Adam Chlipala <adam@chlipala.net> | 2014-02-20 10:27:15 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2014-02-20 10:27:15 -0500 |
commit | e76ee80695acce02b283d12eedc26477ace15b1f (patch) | |
tree | 42e00b6f554fae7021de8f1f5b912048114253df /tests/functorMadness.ur | |
parent | a5299611e8a126a86a7f2121aa339d69a9fa5895 (diff) |
Some more nested functor bug-fixing, including generating fresh internal names at applications; still need to debug issues with datatype constructors
Diffstat (limited to 'tests/functorMadness.ur')
-rw-r--r-- | tests/functorMadness.ur | 18 |
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/> |