Hello,

Is it a bug or a well-known feature that the above program does not emit
a warning (because "f x" should have type unit in the body of "g") ?

=====
let f x = x
let g x = f x; 1
(* let _ = g 2 *)
====

Best regards,
Julien Signoles