regression/fail/modules.48.sml

   1 signature S =
   2    sig
   3       datatype t = T
   4    end
   5
   6 structure S1: S =
   7    struct
   8       datatype t = T
   9     end
  10
  11 structure S2: S where type t = int = S1