regression/fail/modules.31.sml

   1 structure S:>
   2    sig
   3       type t
   4       val x: t
   5    end =
   6    struct
   7       type t = unit
   8       val x = ()
   9    end
  10 val _ = S.x = S.x