Do you think that %"" should be accepted as a valid filename ? Personnally I don't think so, because no operating system I know accept that. %"" should return <none>. This would solve many issues with filename handling (split-path, clean-path). Another related problem: >> to file! none == %none It should return either the none value (of datatype none!) or %"" (depending on your answer to the previous question). Olivier.
