From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Michael Heerdegen Newsgroups: gmane.emacs.bugs Subject: bug#23902: 25.1.50; Strange warning on string-collate-equalp's docstring Date: Sun, 10 Jul 2016 05:06:49 +0200 Message-ID: <87wpkumbsm.fsf@web.de> References: <87vb0jeo56.fsf@telefonica.net> <831t36omxx.fsf@gnu.org> <87bn2aolcm.fsf@web.de> <83inwin5uu.fsf@gnu.org> <87oa6aepls.fsf@wanadoo.es> <838txen363.fsf@gnu.org> <83shvig21e.fsf@gnu.org> <87eg72cx3u.fsf@wanadoo.es> <83oa66fc6e.fsf@gnu.org> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: ger.gmane.org 1468120047 7964 80.91.229.3 (10 Jul 2016 03:07:27 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sun, 10 Jul 2016 03:07:27 +0000 (UTC) Cc: =?UTF-8?Q?=C3=93scar?= Fuentes , 23902@debbugs.gnu.org To: Eli Zaretskii Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Sun Jul 10 05:07:15 2016 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1bM55N-0007Nt-8Q for geb-bug-gnu-emacs@m.gmane.org; Sun, 10 Jul 2016 05:07:13 +0200 Original-Received: from localhost ([::1]:53183 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bM55M-0003FN-94 for geb-bug-gnu-emacs@m.gmane.org; Sat, 09 Jul 2016 23:07:12 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:60330) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bM55G-0003FF-Im for bug-gnu-emacs@gnu.org; Sat, 09 Jul 2016 23:07:07 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bM55C-0007tn-3E for bug-gnu-emacs@gnu.org; Sat, 09 Jul 2016 23:07:05 -0400 Original-Received: from debbugs.gnu.org ([208.118.235.43]:60459) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bM55C-0007ti-0K for bug-gnu-emacs@gnu.org; Sat, 09 Jul 2016 23:07:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1bM55B-000242-MT for bug-gnu-emacs@gnu.org; Sat, 09 Jul 2016 23:07:01 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Michael Heerdegen Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sun, 10 Jul 2016 03:07:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 23902 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: Original-Received: via spool by 23902-submit@debbugs.gnu.org id=B23902.14681200217929 (code B ref 23902); Sun, 10 Jul 2016 03:07:01 +0000 Original-Received: (at 23902) by debbugs.gnu.org; 10 Jul 2016 03:07:01 +0000 Original-Received: from localhost ([127.0.0.1]:44563 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1bM55A-00023m-TB for submit@debbugs.gnu.org; Sat, 09 Jul 2016 23:07:01 -0400 Original-Received: from mout.web.de ([212.227.17.11]:56128) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1bM558-00023Z-Mv for 23902@debbugs.gnu.org; Sat, 09 Jul 2016 23:06:59 -0400 Original-Received: from drachen.dragon ([88.67.73.210]) by smtp.web.de (mrweb101) with ESMTPSA (Nemesis) id 0LoYjO-1atrnt0Axe-00gXp8; Sun, 10 Jul 2016 05:06:51 +0200 In-Reply-To: <83oa66fc6e.fsf@gnu.org> (Eli Zaretskii's message of "Sun, 10 Jul 2016 05:40:25 +0300") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.0.95 (gnu/linux) X-Provags-ID: V03:K0:WTQH3kVrb1iQJ32EgIVpTCYpUcnzEYV9kxXJLE2qhuduMIU5zzn OT8VlRJC+CO56GQhd8U9OHln+yWb2R+Xc4dJlwXnTX6g2EXLesdOTTpFLDfZq0DKgYocmUL d0BNKDPVCn8jwS64W1UXQwZN3hynNik7RFqdce3Ft1Udwz1clnVDZHxpZqwqYy3ATj9xFWs F0SFh1/ru5Uhlqc/JvV0g== X-UI-Out-Filterresults: notjunk:1;V01:K0:b9LDlb6SeyY=:2qA/5O8BkbjcNTg2aEFcLt TQIgxthf8MeP7lim4dvjGK1d9kIp/61xB2kTmGZ0RBD2hY3Eq9WNOQDintOKqLyrq79SuA0EC yrXiwTuheBRfWS84HvaL8WHqbd+lFQkkSi2u9gLUuxaJu+h4XwmryKkQ5rsbHwOxBXd6b4c5D ol7KKTeKkon/JCbiFnLvlzGMBfwwl9yJAB1ekNwqB4OJ+BC4vC++PFoMT4WBnIqQnTAHwYKQ3 CxJ1Igw0+4EBnZY5KOf6OlX8s+Mh1iXhyIfNkB+7SyHMchC63zDaP7OiYc6tIBCP7p5f5qOZn oVXiihfSgU69jKhX18BF3BWhtBY3n0aNKXzi4E1z3wXHaL6/oUOaSIGNXABC23Z0XLi9u04Ls V2jSwD2I4kNWE22/bsUFNb9fAalMSiovc+LYwfsUWpFEXmwn6ZX0hi0UovkswPpnnWmUxCl1A 6M4foMtkKq6d10ESORRtTQLDEG0E11VUacj6LdUQFkyuyikeFH7mLqXoZZx6u19CDD62sul2K LTyZ57mD1IvB6o9IInC3zYx184pVS9XbfhdlHXH3hqleyRHTNTDaLIs/vzn/61DPf8lXN5QCd MS6ZtS4dk6x/WCAVZ1/DNk5O24t3SEDxtG0ehJqFhAXTW/AmuCaJvJqsRyRNtyGlByVddPSJM WLbLaa9TfLONzqf0Q2XR1nBiom43gnJWlioBU3Bi+jDGM1saPOFkrZtOLdUnU3puA/4nTRHQe qIU43i9w2Rd68FwktCosXqkVPMwfeeu5lOFnNtw1+ZVnOL96DPxcBtwWZiI9RJAwzFOEEbeU X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 208.118.235.43 X-BeenThere: bug-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Original-Sender: "bug-gnu-emacs" Xref: news.gmane.org gmane.emacs.bugs:120737 Archived-At: Eli Zaretskii 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.