[MLton] Evolution idea

Alain Deutsch deutsch@PolySpace.com
Thu, 12 Feb 2004 16:38:53 +0100

It may be useful to have on option the detection of unused variables, as 
warnings or errors.

Also, it may be useful to detect on option unused function objects in 

let ... in f; e end --> error if f is a function object.