From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: weis
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA19703 for caml-redistribution; Mon, 22 Feb 1999 18:07:42 +0100 (MET)
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id OAA14465 for <caml-list@pauillac.inria.fr>; Mon, 22 Feb 1999 14:58:37 +0100 (MET)
Received: from hades-sle.sharp.co.uk (hades-sle.sharp.co.uk [193.114.241.3])
	by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id OAA08663
	for <caml-list@inria.fr>; Mon, 22 Feb 1999 14:58:34 +0100 (MET)
Received: from sharp.co.uk (inca.sle.sharp.co.uk [192.16.16.3])
	by hades-sle.sharp.co.uk (8.8.8+Sun/8.8.8) with SMTP id NAA06387
	for <caml-list@inria.fr>; Mon, 22 Feb 1999 13:50:35 GMT
Received: from byrd.sharp.co.uk by sharp.co.uk (SMI-8.6/SMI-SVR4)
	id NAA03674; Mon, 22 Feb 1999 13:43:33 GMT
Received: by byrd.sharp.co.uk (SMI-8.6/SMI-SVR4)
	id NAA15505; Mon, 22 Feb 1999 13:45:44 GMT
Date: Mon, 22 Feb 1999 13:45:44 GMT
From: akay@sharp.co.uk (Andrew Kay)
Message-Id: <199902221345.NAA15505@byrd.sharp.co.uk>
To: caml-list@inria.fr
Subject: Re: Warnings in ocaml
Sender: weis

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