adam@1989: functor F(M : sig end) = struct adam@1989: fun f () = f () adam@1989: adam@1989: functor G(M : sig end) = struct adam@1989: fun g () = f () adam@1989: end adam@1989: end adam@1989: adam@1989: structure M1 = F(struct end) adam@1989: structure M2 = F(struct end) adam@1989: adam@1989: structure N1 = M1.G(struct end) adam@1989: structure N2 = M2.G(struct end) adam@1989: adam@1989: fun main () : transaction page = adam@1989: return (N1.g ()); adam@1989: return (N2.g ()); adam@1989: return