[MLton] mlb support

Matthew Fluet fluet@cs.cornell.edu
Thu, 22 Jul 2004 08:37:45 -0400 (EDT)


> > Certainly copying the basis on installation will change the inode number
> > of files.  That would suggest that we have a post-install operation to
> > read in .mlbs and output a world with them parsed/elaborated.
>
> I'm getting confused.  I thought we were just talking about a hack to
> speedup an SML/NJ-compiled MLton, which has no bearing on the binary
> MLton packages that we distribute and hence no need for post-install
> stuff.  Why do we need to cache bases across runs of a MLton-compiled
> MLton?

You are right, we don't need to cache bases across runs of a
MLton-compiled MLton.  But, I'd still prefer to do the "right thing" up
front.