<div dir="ltr">fun parseMlbPathVar (line: String.t) =<br> case String.tokens (line, Char.isSpace) of<br> [var, path] => SOME {var = var, path = path}<br> | _ => NONE<br><br>:-(<br><br>What's the right way to fix this, given the documentation says: "The format of an <tt>mlb-path-map</tt> file is a sequence of lines; each line consists of two, white-space delimited tokens. The first token is a path variable <tt>VAR</tt>
and the second token is the path to which the variable is mapped. The
path may include path variables, which are recursively expanded."<br><br>Could we change the semantics to be: cut first word up to first whitespace => that's the variable. Trim leading and trailing whitespace of the remainder => that's the path? It would require changing the "specification", but would be backwards compatible.<br>
<br>Leading and trailing whitespace are always supported via<br>CRAZY ./ my evil directory name /<br><br></div>