regression/fail/sig.2.sml

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