Bad range on error

[mtzguido]

assume val foo : int -> unit -> string -> unit
assume val bar : int -> bool -> string -> unit

let test x y z =
  foo x y z;
  bar x y z

This points to foo and says "unit is not equal to the expected type bool", would be a lot better to point to the y in bar, or similar.