[MLton] Broken CVS

[Matthew Fluet]

> PPS. I take it you don't want me to send mail directly to you even when it's
> a small thing? (You redirected my last email to the list.) I only did it b/c
> I wasn't sure if posting publicly about a bad commit would be polite.

mlton@mlton.org is the developers list -- anything to do with development
should go through the list; we use it for archiving information, etc.

Very rarely are things taken off list; passing around contact info is the
usual exception.