> All well and good, but I don't understand why it doesn't warn me about
> the missing ';' in the first case.

val failwith : string -> 'a

so failwith "error" prerr_endline "OK";

is a valid call since 'a unify with (string -> unit) -> string -> unit

Nicolas