MLton with your fixes

Henry Cejtin
Fri, 24 Aug 2001 18:35:43 -0500

I send mail to Norman also asking for the version of Red Hat and telling him
that I could make RPMs if it is something I have.
As to the bug, could it be that that version of MLton got confused by the
	mlton @MLton -- ...
stuff (i.e., no MLton runtime ops)?