[MLton] mlbs in the top level of $(MLTON_ROOT)

Matthew Fluet fluet@cs.cornell.edu
Mon, 30 Aug 2004 08:45:45 -0400 (EDT)


> I'm wondering if it would be useful put an mlb for each library in the
> top-level of $(MLTON_ROOT).
>
> Thoughts?

I remain of the opinion that mlb files are written with such low frequency
that a little extra verbosity isn't too much to pay.  And I think it is
somewhat useful to recognize that unsafe.mlb "belongs" to basis, while
mlyacc-lib.mlb "belongs" to it's own library.