[MLton-user] bug with path variables in mlb files
vesa.a.j.k at gmail.com
Wed Nov 7 06:08:41 PST 2007
I went ahead and added a new command-line switch:
I'll look at the path names a bit later.
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
> 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
More information about the MLton-user