[MLton] mlb path maps ... and spaces

[Vesa Karvonen]

On Fri, Sep 5, 2008 at 5:55 PM, Wesley W. Terpstra <wesley at terpstra.ca> wrote:
> Could we change the semantics to be: cut first word up to first whitespace
> => that's the variable. Trim leading and trailing whitespace of the
> remainder => that's the path? It would require changing the "specification",
> but would be backwards compatible.

Sounds reasonable to me, but don't forget to trim leading whitespace
from the variable name.

It would probably be useful to allow comments in a mlb-path-map file.

-Vesa Karvonen