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

Stephen Weeks MLton@mlton.org
Wed, 10 Dec 2003 13:50:22 -0800

> Doesn't using promises cause all uses to have the test to see if it
> was forced copied to it (assuming inlining)?  Sounds like that could
> be a problem.


> I agree that the non-semantics-preserving code removal is bad, but I
> think that file-level won't be great.  Partly it is because
> structures encourage one to make `files' a bit larger.  I.e., with
> file-level `dead' code elimination, any structure would either be
> completely included or missing, right?


> That can't quite be correct or else all the basis would be there.

We're not using file-level on the basis right now.  But I guess we
never could, because we do need the Basis2002 structure (whether we
export it or not) because matching it against BASIS_2002 is how we get
the right sharing for the basis.

> Would it just imply that any structure not absent would all be there
> except possibly for sub-structures?

This sounds like some intermediate kind of dead-code analysis between
declaration-level and file-level.