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

Matthew Fluet fluet@cs.cornell.edu
Sun, 26 Sep 2004 21:06:08 -0400 (EDT)


> What is wrong with ALWAYS quoting (in double quotes) file names output.

The question is whether or not that is always acceptable to anything you
pipe the output to.  I guess I weakly vote for quoting, because otherwise
you can't even pipe the output of mlton -f into another mlb.