[MLton] cvs commit: mlb integration
Fri, 30 Jul 2004 11:11:53 -0400 (EDT)
> > 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?
Yes, that works fine. It just becomes a little messy for the
../lib/mlton/* directory. It makes for things under src/mlton to
references a src/mlton/basis.mlb file, which we dynamically generate, but
for the things from the library, it's not so clear that they should depend
upon the src/mlton/basis.mlb file.