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

[Vesa Karvonen]

I went ahead and added a new command-line switch:

  http://mlton.org/pipermail/mlton-commit/2007-November/002131.html

I'll look at the path names a bit later.

-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.
>
>         - John