[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.