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
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: 2000-06-16 (18:31)
From: Julian Assange <proff@i...>
Subject: Re: Warning messages and lonely variables
Nicolas barnier <> 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.