expand-file-name

[Olin Shivers <shivers@clark.lcs.mit.edu>]

   >      'double-dots (parent directory) are left alone, in case they come 
after
   >       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.
   >     -Olin

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