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

[Vesa Karvonen]

Quoting Vesa Karvonen <vesa.karvonen at cs.helsinki.fi>:
> The -stop f option generates a list of files, which is useful for dependencies
> in a Makefile, but omits the mlb-files.  Is there some reason for this?
> 
> 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.

Below is a trivial patch to include the mlb-files in the -stop f output:

-Vesa Karvonen

Index: mlton/ast/ast-mlbs.fun
===================================================================
--- mlton/ast/ast-mlbs.fun	(revision 4986)
+++ mlton/ast/ast-mlbs.fun	(working copy)
@@ -128,7 +128,8 @@
                      else let
                              val () = b := true
                           in
-                             sourceFilesBasdec (Promise.force dec)
+                             Buffer.add (sourceFiles, fileAbs)
+                             ; sourceFilesBasdec (Promise.force dec)
                           end
                end
           | Open _ => ()