[MLton] Dependencies, -stop f and mlb-files

Stephen Weeks sweeks at sweeks.com
Tue Dec 19 12:09:40 PST 2006


> I'd prefer that it included the mlb-files, because is easy to filter them out
> (e.g. grep -v '\.mlb$'), but omiting them results in incomplete dependencies.

I agree also.  I don't remember any big reason why we dropped them,
and the fact that they can be filtered if necessary is clinching.



More information about the MLton mailing list