regression/fail/modules.40.sml

   1 signature SIG =
   2    sig
   3       type t
   4       structure S:
   5          sig
   6             type u = t
   7             type v
   8             sharing type u = v
   9          end
  10    end