From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: "Drew Adams" Newsgroups: gmane.emacs.bugs,gmane.emacs.pretest.bugs Subject: bug#1085: 23.0.60; all-completions, try-completion inconsistent: Info-read-node-name-1 Date: Sat, 4 Oct 2008 15:58:20 -0700 Message-ID: <00b801c92674$b294d550$0200a8c0@us.oracle.com> Reply-To: Drew Adams , 1085@emacsbugs.donarmstrong.com NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1223161813 16564 80.91.229.12 (4 Oct 2008 23:10:13 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sat, 4 Oct 2008 23:10:13 +0000 (UTC) To: Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Sun Oct 05 01:11:10 2008 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by lo.gmane.org with esmtp (Exim 4.50) id 1KmGHF-0001VU-5b for geb-bug-gnu-emacs@m.gmane.org; Sun, 05 Oct 2008 01:11:09 +0200 Original-Received: from localhost ([127.0.0.1]:37354 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1KmGGB-0005sa-Go for geb-bug-gnu-emacs@m.gmane.org; Sat, 04 Oct 2008 19:10:03 -0400 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1KmGG8-0005sR-Cl for bug-gnu-emacs@gnu.org; Sat, 04 Oct 2008 19:10:00 -0400 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1KmGG7-0005s8-M7 for bug-gnu-emacs@gnu.org; Sat, 04 Oct 2008 19:09:59 -0400 Original-Received: from [199.232.76.173] (port=40168 helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1KmGG7-0005s5-FV for bug-gnu-emacs@gnu.org; Sat, 04 Oct 2008 19:09:59 -0400 Original-Received: from rzlab.ucr.edu ([138.23.92.77]:37079) by monty-python.gnu.org with esmtps (TLS-1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.60) (envelope-from ) id 1KmGG6-00065G-H0 for bug-gnu-emacs@gnu.org; Sat, 04 Oct 2008 19:09:58 -0400 Original-Received: from rzlab.ucr.edu (rzlab.ucr.edu [127.0.0.1]) by rzlab.ucr.edu (8.13.8/8.13.8/Debian-3) with ESMTP id m94N9uBU007383; Sat, 4 Oct 2008 16:09:56 -0700 Original-Received: (from debbugs@localhost) by rzlab.ucr.edu (8.13.8/8.13.8/Submit) id m94N54PM006283; Sat, 4 Oct 2008 16:05:04 -0700 X-Loop: don@donarmstrong.com Resent-From: "Drew Adams" Resent-To: bug-submit-list@donarmstrong.com Resent-CC: Emacs Bugs Resent-Date: Sat, 04 Oct 2008 23:05:04 +0000 Resent-Message-ID: Resent-Sender: don@donarmstrong.com X-Emacs-PR-Message: report 1085 X-Emacs-PR-Package: emacs X-Emacs-PR-Keywords: Original-Received: via spool by submit@emacsbugs.donarmstrong.com id=B.12231610994230 (code B ref -1); Sat, 04 Oct 2008 23:05:04 +0000 Original-Received: (at submit) by emacsbugs.donarmstrong.com; 4 Oct 2008 22:58:19 +0000 Original-Received: from fencepost.gnu.org (fencepost.gnu.org [140.186.70.10]) by rzlab.ucr.edu (8.13.8/8.13.8/Debian-3) with ESMTP id m94MwGFG004223 for ; Sat, 4 Oct 2008 15:58:17 -0700 Original-Received: from mail.gnu.org ([199.232.76.166]:51006 helo=mx10.gnu.org) by fencepost.gnu.org with esmtp (Exim 4.67) (envelope-from ) id 1KmG2X-0006jH-8b for emacs-pretest-bug@gnu.org; Sat, 04 Oct 2008 18:55:57 -0400 Original-Received: from Debian-exim by monty-python.gnu.org with spam-scanned (Exim 4.60) (envelope-from ) id 1KmG4j-00025Q-R6 for emacs-pretest-bug@gnu.org; Sat, 04 Oct 2008 18:58:15 -0400 Original-Received: from rgminet01.oracle.com ([148.87.113.118]:59552) by monty-python.gnu.org with esmtps (TLS-1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.60) (envelope-from ) id 1KmG4j-00024q-Gf for emacs-pretest-bug@gnu.org; Sat, 04 Oct 2008 18:58:13 -0400 Original-Received: from agmgw1.us.oracle.com (agmgw1.us.oracle.com [152.68.180.212]) by rgminet01.oracle.com (Switch-3.2.4/Switch-3.1.6) with ESMTP id m94MwAoI011043 for ; Sat, 4 Oct 2008 16:58:10 -0600 Original-Received: from acsmt706.oracle.com (acsmt706.oracle.com [141.146.40.84]) by agmgw1.us.oracle.com (Switch-3.2.0/Switch-3.2.0) with ESMTP id m94MwAPq000965 for ; Sat, 4 Oct 2008 16:58:10 -0600 Original-Received: from dradamslap1 (/24.23.165.218) by default (Oracle Beehive Gateway v4.0) with ESMTP ; Sat, 04 Oct 2008 15:58:09 -0700 X-Mailer: Microsoft Office Outlook 11 Thread-Index: AckmdLI3jEaez6OqTMujV9yEDqzNRA== X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.3350 X-Brightmail-Tracker: AAAAAQAAAAI= X-Brightmail-Tracker: AAAAAQAAAAI= X-Whitelist: TRUE X-Whitelist: TRUE X-detected-operating-system: by monty-python.gnu.org: GNU/Linux 2.4-2.6 X-detected-operating-system: by monty-python.gnu.org: GNU/Linux 2.6 (newer, 3) Resent-Date: Sat, 04 Oct 2008 19:09:59 -0400 X-BeenThere: bug-gnu-emacs@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.bugs:21115 gmane.emacs.pretest.bugs:23145 Archived-At: emacs -Q C-h i M-: (try-completion "(el" 'Info-read-node-name-1) It returns "(elisp)", meaning that this is the common prefix of all completions of "(el". [This is reasonable, and it satisfies the requirement that "(el" is a prefix of "(elisp)".] M-: (all-completions "(el" 'Info-read-node-name-1) It returns ("elisp"), meaning that the only valid completion of "(el" is "elisp". But "elisp" does not have the common prefix "(elisp)" as determined by `try-completion', and "elisp" does not even have the input "(el" as a prefix. This is inconsistent. `all-completions' should return ("(elisp)") in this case. Lisp code needs to be able to depend on the fact that the valid completions returned by `all-completions' have the common prefix that is returned by `try-completion' (which must in turn have the input as its prefix). And each of the completions returned by `all-completions' must also satisfy `test-completion'. In particular, (test-completion STRG (all-completions strg TABLE)) must always return t, for all STRG and TABLE. In this case, for STRG = "(el" and TABLE = `Info-read-node-name-1', it returns nil. One should be able to use `all-completions' to construct a cons completion table that is equivalent to the original TABLE argument, regardless of how TABLE is defined (e.g. function, obarray). That is, when used with the same inputs it should have the same effect, in particular for `try-completion', `all-completions', and `test-completion'. I don't know if this is a bug for Info-read-node-name-1 (or -2) or a bug for one of the `minibuffer.el' functions that it uses. The code is a bit hard to follow. In GNU Emacs 23.0.60.1 (i386-mingw-nt5.1.2600) of 2008-10-03 on LENNART-69DE564 Windowing system distributor `Microsoft Corp.', version 5.1.2600 configured using `configure --with-gcc (3.4) --no-opt --cflags -Ic:/g/include -fno-crossjumping'