adamc@61: structure S = struct
adamc@61:         type t = int
adamc@61:         val x = 0
adamc@61: 
adamc@61:         structure S' : sig type u val y : t end = struct
adamc@61:                 type u = t
adamc@61:                 val y = x
adamc@61:         end
adamc@61: 
adamc@61:         signature Sig = sig
adamc@61:                 type t
adamc@61:                 val x : t
adamc@61:         end
adamc@61: end
adamc@61: 
adamc@61: open S.S'
adamc@61: open S
adamc@61: open S'
adamc@61: 
adamc@61: structure S' : Sig = S