[MLton] [PATCH] Review this patch and try it on other platforms, please (Kill runtime warnings)

[Florian Weimer]

* Vesa Karvonen:

> On Nov 26, 2007 2:39 AM, Jesper Louis Andersen
> <jesper.louis.andersen at gmail.com> wrote:
>> The attached patch is a little something I toyed with over the
>> weekend. [...]
>
> Note that the paths in the patch had extra arcs.  I had to manually
> remove the extra "a/" and "b/" arcs from the paths before I could
> apply the patch.

"patch -p1" does that for you (or you could use git-apply).