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

[Vesa Karvonen]

Quoting Matthew Fluet <fluet at tti-c.org>:
[...]
> > I'd prefer that [-stop f] included the mlb-files, because is easy to filter
> > them out (e.g. grep -v '\.mlb$'), but omiting them results in incomplete
> > dependencies.
> 
> I tend to agree.  Your patch looks good, so long as it doesn't have any 
> adverse affects on the build process.

Quoting Stephen Weeks <sweeks at sweeks.com>:
> 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.

Ok.  I went ahead and committed the patch.  I grepped MLton's Makefiles
and didn't notice any places where this change would break things.  I
also compiled MLton using a MLton that includes the patch and noticed no
problems.  (I didn't run the regression script, though.)

-Vesa Karvonen