> 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.