regression/mlton.overload.sml

   1 (* Checks overload declarations. *)
   2
   3 fun f (x: int) = x
   4 fun g (x: word) = x
   5
   6 _overload f: 'a -> 'a as f and g
   7
   8 val _ = f 1
   9 val _ = f 0w1