[MLton] mlb support

Matthew Fluet fluet@cs.cornell.edu
Thu, 1 Jul 2004 18:38:41 -0400 (EDT)

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

Yes, the -show-basis <file> was added to cvs.HEAD under your suggestion.
I asked how you were using it because in the scenarios you described, I
would find it annoying to indirect through a file.