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

[Henry Cejtin]

I definitely agree about the usefulness of being able to specify a variables value on the command line.
I seem to recall some discussion on this a while ago, but I don't remember if it was on the list or not.