Re: Warnings in ocaml

From: Anton Moscal (msk@post.tepkom.ru)
Date: Mon Feb 22 1999 - 14:24:47 MET


Date: Mon, 22 Feb 1999 16:24:47 +0300 (MSK)
From: Anton Moscal <msk@post.tepkom.ru>
To: Xavier Leroy <Xavier.Leroy@inria.fr>
Subject: Re: Warnings in ocaml
In-Reply-To: <19990222133655.46186@pauillac.inria.fr>

On Mon, 22 Feb 1999, Xavier Leroy wrote:

> > I copied from SML and defined a procedure "ignore":
> > so now I would write:
> > ignore (f x y); ...
>
> I was considering adding this to the standard library, implemented in
> such a way that no function call actually takes place. It seems to
> strike a reasonable balance between the safety of the warning and the
> inconvenience of writing "let _ = ..."

Also it will be useful to produce warning when polymorphic comparison
occurs. Two days ago I got significant speedup in my program by
suppressing polymorphism. But I found it only by information from gprof.

Anton Moscal.



This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:20 MET