[MLton-user] bug with path variables in mlb files

[Vesa Karvonen]

On Nov 6, 2007 5:09 PM, John Reppy <jhr at cs.uchicago.edu> wrote:
> You should probably allow multiple "." in path names and disallow
> pathnames
> that start with "-".  Then you've covered the POSIX portable pathnames.
>
> It would also be nice if one could directly specify a pathvar on the
> command line, instead of having to create a pathmap file.

I'll look into (implement) these later today or tomorrow. (Unless
someone happens to do it first.)

-Vesa Karvonen