[MLton] cvs commit: mlb integration
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?