regression/fail/modules.33.sml

   1 signature S =
   2    sig
   3       type t = int
   4    end
   5 signature S =
   6    sig
   7       structure S1: S
   8       structure S2: S
   9       sharing type S1.t = S2.t
  10    end