[MLton] cvs commit: mlb integration

Stephen Weeks MLton@mlton.org
Fri, 30 Jul 2004 08:01:40 -0700


> Here is an unfortunate phenomenon with mlbs:
> 
> The mlton-stubs.cm file is supposed to prepend onto the program a stub for
> the MLton structure.  Unfortunately, the way we interpret a .mlb in a
> clean basis, means that this stub isn't visible from other .mlbs.  There
> are certainly ways around it, but it is a little cumbersome.

this is probably what you're thinking of, but just in case ...  Can't
we have our own "basis.mlb", which in the usual case we point at
$(SML_BASIS)/basis/basis.mlb, and when compiling with stubs, we point
at the stubs mlb?