[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: |
Eli Zaretskii |
Subject: |
Re: find-library-name fails if file (with no extension) exists. |
Date: |
Wed, 22 Nov 2006 06:25:40 +0200 |
> 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.
- 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., 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., 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 <=
- 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, 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., 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