[MLton] cvs commit: mlb integration

[Matthew Fluet]

> I'm wondering when we should start using mlbs to build mlton.  Since
> we still need to use SML/NJ, the only way I see to do it is to
> duplicate the information that is in the mlbs and the cm files.

Here is an unfortunate phenomenon with mlbs:

The mlton-stubs.cm file is supposed to prepend onto the program a stub for
the MLton structure.  Unfortunately, the way we interpret a .mlb in a
clean basis, means that this stub isn't visible from other .mlbs.  There
are certainly ways around it, but it is a little cumbersome.