[MLton] Evolution idea

Matthew Fluet fluet@cs.cornell.edu
Thu, 12 Feb 2004 10:57:51 -0500 (EST)


> Also, it may be useful to detect on option unused function objects in
> sequences:
>
> let ... in f; e end --> error if f is a function object.

There is a comment in elaborate-core.fun that indicates where we could add
a warning for non-unit typed expressions in sequences.  The function case
above would fall out as a special case.  On the down side, it means that
fully applied functions might also be warned, because one might only be
interested in their side-effects, not their results.  But, a few
judiciously placed ignore applications would eliminate that.