From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Stefan Monnier 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: Mon, 06 Oct 2008 22:06:09 -0400 Message-ID: References: <00b801c92674$b294d550$0200a8c0@us.oracle.com> <014a01c9276c$1f45f740$0200a8c0@us.oracle.com> <000f01c927d3$2963f850$c2b22382@us.oracle.com> Reply-To: Stefan Monnier , 1085@emacsbugs.donarmstrong.com NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: ger.gmane.org 1223346627 23582 80.91.229.12 (7 Oct 2008 02:30:27 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 7 Oct 2008 02:30:27 +0000 (UTC) Cc: 1085@emacsbugs.donarmstrong.com, emacs-pretest-bug@gnu.org To: "Drew Adams" Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Tue Oct 07 04:31:25 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 1Kn2M4-0005hD-U7 for geb-bug-gnu-emacs@m.gmane.org; Tue, 07 Oct 2008 04:31:21 +0200 Original-Received: from localhost ([127.0.0.1]:35534 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1Kn2L1-0005rS-Be for geb-bug-gnu-emacs@m.gmane.org; Mon, 06 Oct 2008 22:30:15 -0400 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1Kn2Kn-0005hh-FX for bug-gnu-emacs@gnu.org; Mon, 06 Oct 2008 22:30:01 -0400 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1Kn2Km-0005h3-Fv for bug-gnu-emacs@gnu.org; Mon, 06 Oct 2008 22:30:00 -0400 Original-Received: from [199.232.76.173] (port=56261 helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1Kn2Km-0005gq-8z for bug-gnu-emacs@gnu.org; Mon, 06 Oct 2008 22:30:00 -0400 Original-Received: from rzlab.ucr.edu ([138.23.92.77]:38869) by monty-python.gnu.org with esmtps (TLS-1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.60) (envelope-from ) id 1Kn2Km-0005tq-4w for bug-gnu-emacs@gnu.org; Mon, 06 Oct 2008 22:30:00 -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 m972Tvq0031427; Mon, 6 Oct 2008 19:29:58 -0700 Original-Received: (from debbugs@localhost) by rzlab.ucr.edu (8.13.8/8.13.8/Submit) id m972F4lP028049; Mon, 6 Oct 2008 19:15:04 -0700 X-Loop: don@donarmstrong.com Resent-From: Stefan Monnier Resent-To: bug-submit-list@donarmstrong.com Resent-CC: Emacs Bugs Resent-Date: Tue, 07 Oct 2008 02:15:03 +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.122334517526671 (code B ref -1); Tue, 07 Oct 2008 02:15:03 +0000 Original-Received: (at submit) by emacsbugs.donarmstrong.com; 7 Oct 2008 02:06:15 +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 m9726CmB026664 for ; Mon, 6 Oct 2008 19:06:13 -0700 Original-Received: from mail.gnu.org ([199.232.76.166]:50550 helo=mx10.gnu.org) by fencepost.gnu.org with esmtp (Exim 4.67) (envelope-from ) id 1Kn1vS-00080e-8c for emacs-pretest-bug@gnu.org; Mon, 06 Oct 2008 22:03:50 -0400 Original-Received: from Debian-exim by monty-python.gnu.org with spam-scanned (Exim 4.60) (envelope-from ) id 1Kn1xi-0001x9-NP for emacs-pretest-bug@gnu.org; Mon, 06 Oct 2008 22:06:11 -0400 Original-Received: from ironport2-out.teksavvy.com ([206.248.154.182]:59148) by monty-python.gnu.org with esmtp (Exim 4.60) (envelope-from ) id 1Kn1xi-0001x1-G1 for emacs-pretest-bug@gnu.org; Mon, 06 Oct 2008 22:06:10 -0400 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtsEAOhg6kjO+IH3/2dsb2JhbACBcbtfgWqBBw X-IronPort-AV: E=Sophos;i="4.33,370,1220241600"; d="scan'208";a="28078636" Original-Received: from 206-248-129-247.dsl.teksavvy.com (HELO ceviche.home) ([206.248.129.247]) by ironport2-out.teksavvy.com with ESMTP; 06 Oct 2008 22:06:09 -0400 Original-Received: by ceviche.home (Postfix, from userid 20848) id 7C8DCB41E3; Mon, 6 Oct 2008 22:06:09 -0400 (EDT) In-Reply-To: <000f01c927d3$2963f850$c2b22382@us.oracle.com> (Drew Adams's message of "Mon, 6 Oct 2008 09:47:03 -0700") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.0.60 (gnu/linux) X-detected-operating-system: by monty-python.gnu.org: Genre and OS details not recognized. X-detected-operating-system: by monty-python.gnu.org: GNU/Linux 2.6 (newer, 3) Resent-Date: Mon, 06 Oct 2008 22:30:00 -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:21199 gmane.emacs.pretest.bugs:23168 Archived-At: > No, not necessarily. I only want `try-completion', `all-completions' and > `test-completion' to be on the same page, in the sense of the invariants I > mentioned. Then I missed those invariants. Could you spell them out again one by one? Stefan PS: Regarding the behavior of info completion for "(emacs)", it can't be done right until someone writes the relevant code. Basically the current code doesn't know how to do completion in this case, so try-completion can't return anything use, and neither can all-completions, or test-completion. The current code instead just tries to return something that's safe: try-completion returns the string unchanged, which indicates that it's a valid completion and that there's more completions out there; test-completion returns t to basically say the same; and all-completions returns nil so that minibuffer-completing-help doesn't give some bogus list of completions. The try-completion and test-completion outputs are fairly reasonable. The all-completions one is less satisfactory since returning nil seems to imply that the input is not a valid completion, whereas try-completion and test-completion say that it is. Returning a list containing a copy of the input wouldn't be right either since it would imply that the current input is the sole completion. Basically, we'd need a special `dont-know' return value, but it doesn't seem worth the trouble.