Subject: Re: bug#23902: 25.1.50; Strange warning on string-collate-equalp's docstring

From: Michael Heerdegen <[email-masked]>
Date: Sun, 10 Jul 2016 05:06:49 +0200

Eli Zaretskii <[email-masked]> writes:

> > I think that Glenn is saying that you can compare file names for other
> > purposes than knowing if they name the same file.
>
> Then it's not "equality", it's "equivalence".

Equivalence implies equality of equivalence classes.  These terms depend
on the viewpoint.  Does `file-equal-p' test whether the files named by
the strings are equal, or whether these strings name the same file and
are thus equivalent (Maybe it should be named
`file-names-equivalent-p')?

Michael.