Dear list,

Why does the sequence operator (;) have type 'a -> 'b -> 'b and not
unit -> 'a -> 'a? There is (ignore) for doing "these things"
purposefully. The toplevel warning is very often mute. Together with
labels, this is a source of bugs.

Best Regards,
Lukasz