[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: find-library-name fails if file (with no extension) exists.
From: |
David Kastrup |
Subject: |
Re: find-library-name fails if file (with no extension) exists. |
Date: |
Wed, 22 Nov 2006 11:05:23 +0100 |
User-agent: |
Gnus/5.11 (Gnus v5.11) Emacs/22.0.90 (gnu/linux) |
Eli Zaretskii <address@hidden> writes:
>> From: David Kastrup <address@hidden>
>> Date: Wed, 22 Nov 2006 02:04:58 +0100
>> Cc: Juanma Barranquero <address@hidden>, Emacs Devel <address@hidden>
>>
>> The problem is that "case sensitivity" requires a notion of "identical
>> except for case"
>
> Only if you use string comparison for comparing file names. File
> names are not strings for the purpose of equality, as Juanma pointed
> out, and programmers should be educated to think that way. Just
> change your abstraction, and you are done. For example, there's a
> different function, even in the string class, for ``identical but for
> case'' comparison.
Where is the guarantee that this function delivers identical results
to the operating system? Where is the hash function that makes
dealing with directory listings natural?
--
David Kastrup, Kriemhildstr. 15, 44793 Bochum
- Re: find-library-name fails if file (with no extension) exists., (continued)
- Re: find-library-name fails if file (with no extension) exists., David Kastrup, 2006/11/21
- Re: find-library-name fails if file (with no extension) exists., Juanma Barranquero, 2006/11/21
- Re: find-library-name fails if file (with no extension) exists., Lennart Borgman, 2006/11/21
- Re: find-library-name fails if file (with no extension) exists., David Kastrup, 2006/11/21
- Re: find-library-name fails if file (with no extension) exists., Lennart Borgman, 2006/11/21
- Re: find-library-name fails if file (with no extension) exists., David Kastrup, 2006/11/21
- Re: find-library-name fails if file (with no extension) exists., Lennart Borgman, 2006/11/21
- Re: find-library-name fails if file (with no extension) exists., David Kastrup, 2006/11/21
- Re: find-library-name fails if file (with no extension) exists., Eli Zaretskii, 2006/11/21
- Re: find-library-name fails if file (with no extension) exists., Juanma Barranquero, 2006/11/22
- Re: find-library-name fails if file (with no extension) exists.,
David Kastrup <=
- Re: find-library-name fails if file (with no extension) exists., Eli Zaretskii, 2006/11/22
- Re: find-library-name fails if file (with no extension) exists., Eli Zaretskii, 2006/11/21
- Re: find-library-name fails if file (with no extension) exists., David Kastrup, 2006/11/22
- Re: find-library-name fails if file (with no extension) exists., Lennart Borgman, 2006/11/22
- Re: find-library-name fails if file (with no extension) exists., David Kastrup, 2006/11/22
- Re: find-library-name fails if file (with no extension) exists., Eli Zaretskii, 2006/11/22
- Re: find-library-name fails if file (with no extension) exists., David Kastrup, 2006/11/22
- Re: find-library-name fails if file (with no extension) exists., Eli Zaretskii, 2006/11/22
- Re: find-library-name fails if file (with no extension) exists., Jan Djärv, 2006/11/24
- Re: find-library-name fails if file (with no extension) exists., Eli Zaretskii, 2006/11/22