Version française
Home     About     Download     Resources     Contact us    
Browse thread
Warning messages and lonely variables
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Julian Assange <proff@i...>
Subject: Re: Warning messages and lonely variables
Nicolas barnier <barnier@recherche.enac.fr> writes:

> Wouldn't it be judicious to warn the user whenever a variable appears in
> the left hand-side of a (let/pattern-) binding and not used anymore in
> the following code, like they do in Prolog (e.g. within the Eclipse
> compiler) ? This is one of the source of many (of my) stupid bugs
> (especially when modifying pieces of code) and surely a desirable
> feature of a correct program. It seems also not
> so intricate to check (from my naive user standpoint at least).

Yes, this has bitten me off several times already.

Similarly, code computed as unreachable in graph/flow analysis should
generate a warning.

Cheers,
Julian.