[MLton] mlb support

Henry Cejtin henry@sourcelight.com
Thu, 1 Jul 2004 11:35:32 -0500 

Also, I would vote for
	-show-basis <file>
not just having -show-basis mean output to stdout.