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

Matthew Fluet fluet@cs.cornell.edu
Tue, 17 Feb 2004 10:40:51 -0500 (EST)

>   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.

Any objection to using the same flag to signal an error when the
body of a while expression is not of type unit?  (Not that I've ever seen
a while expression in an SML program, but you never know.)