Frank A. Christoph wrote:
> I copied from SML and defined a procedure "ignore":
> so now I would write:
>   ignore (f x y); ...

Yes, we did this too.  This certainly gets rid of the warning about
the type to the left of ";", but it doesn't address the problem of
accidentally using a partially applied function.

eg      let _ = List.map f
	in print_endline "done map..."

Are there any plans to provide a warning for this in ocaml?  

Andrew Kay
Sharp Labs Europe Ltd, Oxford Science Park, Oxford, UK, OX4 4GA
Andrew.Kay@sharp.co.uk  Tel:+44 1865 747711 FAX:+44 1865 747717