Import Upstream version 20180207

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

functor F (type t
           datatype u = U of t
           eqtype v
           sharing type t = v) =
   struct
      fun f (u: u) = u = u
   end