]> 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