blob: c7ddeaca09622f27021fb274f4211c14d24cd0b2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
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/>
|
