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

Stephen Weeks MLton@mlton.org
Sat, 25 Sep 2004 15:59:54 -0700


> I was pointing out that quoted filenames are treated as SML strings;
> this is in contrast to Makefile and bash, where quoted filenames
> have different escape characters.  So, I'm arguing that what is now
> implemented is correct, even though it is different from other
> systems.

I agree.