Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Re: Irrelevant variables in patterns
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Chet Murthy <murthy@p...>
Subject: Re: Irrelevant variables in patterns

>>>>> On Sat, 28 May 1994 12:08:22 -0000, Christophe Raffalli <> said:

> Superfluous warning confuse the programmer, and cause him to
> disregard the warnings completely.  Which can cause him real pain
> when it was a warning that he should have heeded.

	CR> I strongly disagree with this statement. If you get a lot of
	CR> warning, it means you have a particular style of programming
	CR> (for instance catching all exceptions in most of the
	CR> handler). Then what you really needs is a compiler option to
	CR> discard a particular warning (or class or warning) so you only
	CR> get the warnings which are relevant to you programming style.

How about an ML-Lint?  Anybody out there writing one?