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

Stephen Weeks MLton@mlton.org
Fri, 12 Dec 2003 18:35:36 -0800


> > Could we use the import information to do a DFS and mark only the
> > needed files?  Then, we could take the (in order, but too large) file
> > list produced by CM.Graph.graph and filter out unneeded files.
> 
> That won't necessarily be minimal:
...

I think I understand.  We don't have (and cannot recover) dependence
information at the level of SML files.  I.E. we know that main.sml
uses structure A defined by AB/sources.cm, but we don't know what SML
file in AB/sources.cm defines structure A.  Hence, we cannot remove
AB/b.sml.  Please correct me if I am confused.

If we had SML-file dependence information, does my filter idea work?
It's roughly what I was thinking of for mlb files.

It also seems to me like CM must have such information, or at least
had it in order to do its dependence analysis.  It's a shame it's lost
in the graph.