[MLton] cvs commit: added flag -sequence-unit {false|true}

[Matthew Fluet]

>   MAIL added flag -sequence-unit {false|true}
>
>   If true, then in the sequence expression (e1; e2), it is a type
>   error if e1 is not of type unit.
>
>   I also fixed the one spurious error in the MLton library.
>
>   There are a couple hundred such errors in the MLton sources proper.

I thought I would look at the -sequence-unit true errors in the MLton
sources.  By the "one spurious error in the MLton library", do you mean
that you didn't see any other type errors in the MLton library or that all
the other ones were acceptable (i.e., weren't a bug)?  Because I see a
bunch of errors in various lib/mlton/* files.