Import Upstream version 20180207

[hcoop/debian/mlton.git] / regression / fail / modules.4.sml

signature S =
   sig
      type t
      type u
      type v = t * t
      sharing type u = v
   end