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

Stephen Weeks MLton@mlton.org
Sat, 28 Aug 2004 12:21:41 -0700

I'm wondering if it would be useful put an mlb for each library in the
top-level of $(MLTON_ROOT).  This would make the usual case (one main
library per directory) concise while still allowing other more
complicated uses.  For example, in mlyacc/src/sources.mlb, instead of


we would write


(we might even move unsafe to the toplevel, since it's historical that
it's in the basis)

Since the available directory/file names in $(MLTON_ROOT) is a shared
resource already, it doesn't seem to hurt to force people to avoid
.mlb name clashes in addition to directory name clashes.