> 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.