Matthew Flatt wrote at 04/17/2013 10:39 AM:
> It would be great if we could normalize every path
> to a canonical form, but path normalization in general seems to
> intractable due to the possibilities of soft links, hard links,
> multiple mount points, case-sensitivity choices, and probably other
> twists that I'm forgetting.
Agreed intractable, and agreed with your approach.
Just FYI for anyone who Googles this in the future and wants a limited
but tractable pretty-good path canonicalization for their application
(at least on Unix-y filesystems)... "canonicalize-path" from the
following library might be good enough:
http://www.neilvandyke.org/racket-path-misc/ (I wrote this for
"scan-mediafiles" in "http://www.neilvandyke.org/racket-mediafile/", and
put it in a separate PLaneT package because I've needed such a procedure
from time to time.)
Neil V.