[MLton] upcoming release

[Matthew Fluet]

> > All of the libraries in the MLton source should have "warnMatch true", and 
> > the silence of compilation indicates that there are no nonexhaustive or 
> > redundant matches in the sources.  We would like to preserve that in 
> > future code evolution, so we would replace "warnMatch true" with 
> > "nonexhaustiveMatch warn, redundantMatch warn".
> 
> With our new-found capabilities, maybe even
> 
>  "nonexhaustiveMatch warn, redundantMatch error"
> 
> or even
> 
>  "nonexhaustiveMatch error, redundantMatch error"

Sure.

> > I'm still in favor of skipping ignore|warn|error with regards to
> > unusedIdentifier in this round.
> 
> Only to avoid release delay, right?

Correct.