[MLton] cvs commit: world no longer contains a preprocessed basis library

[Matthew Fluet]

> > So, we can infer that "main.sml" depends upon  structure A  which is
> > described in  "AB/sources.cm".
> ...
> > But, in any case, we can determine that "a.sml" depends upon
> > structure X defined in "XYZ/sources.cm".
> >
> > So, I believe that depends can be extracted from the graph, with some
> > work.
>
> OK.  If I understand it correctly, it's not too much work -- you need
> to figure out which files in a CM file provide which exports.  Then,
> you can change your cmcat so that instead of grabbing a whole CM file,
> you just grab the needed imports.

-- and then recurse.  Because once we pull in a COMPILE node to get a
particular import, we need to pull in everything that gives rise to the
environment used by the COMPILE node.

> > Anyways, I'm not arguing that this is the way to go (for cmcat).
>
> It sounds like a good way to go to me (but then you're doing the cmcat
> hacking :-)).  If it's not too hard to cut out those files and regain
> the behavior of the old cmcat, we can be completely confident in
> ditching the old one and using the new one in building the mlton cm
> files.

O.k.  I think it will be easy enough to get that behavior.