regression/fail/modules.32.sml

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