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-14 (21:29)
From: Nicolas barnier <barnier@r...>
Subject: Warning messages and lonely variables
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).


-- Nicolas