comparison tests/functorMadness.ur @ 1989:210fb3dfc483

Some more nested functor bug-fixing, including generating fresh internal names at applications; still need to debug issues with datatype constructors
author Adam Chlipala <adam@chlipala.net>
date Thu, 20 Feb 2014 10:27:15 -0500
parents
children
comparison
equal deleted inserted replaced
1988:abb6981a2c4c 1989:210fb3dfc483
1 functor F(M : sig end) = struct
2 fun f () = f ()
3
4 functor G(M : sig end) = struct
5 fun g () = f ()
6 end
7 end
8
9 structure M1 = F(struct end)
10 structure M2 = F(struct end)
11
12 structure N1 = M1.G(struct end)
13 structure N2 = M2.G(struct end)
14
15 fun main () : transaction page =
16 return (N1.g ());
17 return (N2.g ());
18 return <xml/>