Irrelevant variables in patterns

Christophe Raffalli (cr@dcs.ed.ac.uk)
Sat, 28 May 94 12:08:22 BST

Date: Sat, 28 May 94 12:08:22 BST
Message-Id: <13661.9405281108@colonsay.dcs.ed.ac.uk>
From: Christophe Raffalli <cr@dcs.ed.ac.uk>
To: Chet.Murthy@inria.fr
In-Reply-To: <29438.770121809@pauillac.inria.fr> (Chet.Murthy@inria.fr)
Subject: Irrelevant variables in patterns

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

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

Christophe.