[MLton] cvs commit: spaces in mlb imported file names

Henry Cejtin henry@sourcelight.com
Sun, 26 Sep 2004 16:46:28 -0500


The shell file-name world makes it trivial to have arbitrary strings as a
file name (modulo no 0-bytes): take the actual characters of the string,
add an initial and final single-quote character, replace any original single
quotes with a single quote, a backslash, and 2 more single quotes.