> 'double-dots (parent directory) are left alone, in case they come
> symlinks or appear in a /../machine.. "super-root" form....'
> ok i thought this means that in "tmp/../tmp" they will be removed.
> Nope -- tmp could be a symlink.
yes, but i created "tmp" by mkdir, so i knew that it was not a symlink.
i thought that in simplify-filename you make use of 'file-symlink?'
and so on.
Nope. The filename procedures are pure grammar -- they are just string->string
functions. They do not reference the file system.