regression/fail/modules.15.sml

   1 (* u admits equality, but t does not, hence cannot substitute t for u. *)
   2 signature S =
   3    sig
   4       type t
   5       structure Z:
   6          sig
   7             datatype u = U
   8          end where type u = t
   9    end