[MLton-user] bug with path variables in mlb files
vesa.a.j.k at gmail.com
Tue Nov 6 08:18:12 PST 2007
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.
I'll look into (implement) these later today or tomorrow. (Unless
someone happens to do it first.)
More information about the MLton-user