Should we be treating Windows filenames as case-insensitive?
According to Stack Overflow, NTFS can be configured to be case-sensitive, but typically isn't.
Maybe PATHNAME-EQUAL should case-flatten (string-equal) on Windows?
It's a tough call, since some filesystems (e.g. remote NFS) are case-sensitive indeed.
Same thing on Mac, where the (still?) default HFS+ filesystem is case-insensitive, but other filesystems may be case-sensitive.
—♯ƒ • François-René ÐVB Rideau •Reflection&Cybernethics• http://fare.tunes.org What we Are is God's gift to us. What we Become is our gift to God.