regression/typespec.sml

   1 (* typespec.sml *)
   2
   3 (* Checks scoping of definitional type specifications. *)
   4
   5 type t = int
   6
   7 signature S =
   8 sig
   9     type t = bool
  10     and  u = t
  11 end
  12
  13 structure X : S =
  14 struct
  15     type t = bool
  16     and  u = bool
  17 end;