From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Stefan Monnier Newsgroups: gmane.emacs.bugs Subject: bug#19468: 25.0.50; UI inconveniences with M-. Date: Fri, 01 May 2015 14:13:47 -0400 Message-ID: References: <83zja6b3tc.fsf@gnu.org> <54A86135.7080004@yandex.ru> <54A90002.7080009@gmx.at> <54A9C3FB.7000602@yandex.ru> <54AA3881.3080304@gmx.at> <54ABBB47.7010603@yandex.ru> <837fszx7iy.fsf@gnu.org> <83r3r5wqwv.fsf@gnu.org> <553EBBBF.6070509@yandex.ru> <838udcwbdc.fsf@gnu.org> <553FFC99.5080701@yandex.ru> <834mnzuedd.fsf@gnu.org> <554161A8.30202@yandex.ru> <83618du3q3.fsf@gnu.org> <5542E486.2010107@yandex.ru> <83k2wsssm8.fsf@gnu.org> <5543632C.6000306@yandex.ru> <834mnwsbfb.fsf@gnu.org> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: ger.gmane.org 1430504125 7652 80.91.229.3 (1 May 2015 18:15:25 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 1 May 2015 18:15:25 +0000 (UTC) Cc: Dmitry Gutov , 19468@debbugs.gnu.org To: Eli Zaretskii Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Fri May 01 20:15:12 2015 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 1YoFSx-0003dN-QE for geb-bug-gnu-emacs@m.gmane.org; Fri, 01 May 2015 20:15:11 +0200 Original-Received: from localhost ([::1]:55108 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1YoFSx-0000Jc-5s for geb-bug-gnu-emacs@m.gmane.org; Fri, 01 May 2015 14:15:11 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:38623) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1YoFSt-0000H3-Mo for bug-gnu-emacs@gnu.org; Fri, 01 May 2015 14:15:08 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1YoFSq-0004Qz-BQ for bug-gnu-emacs@gnu.org; Fri, 01 May 2015 14:15:07 -0400 Original-Received: from debbugs.gnu.org ([140.186.70.43]:48954) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1YoFSq-0004Qn-8I for bug-gnu-emacs@gnu.org; Fri, 01 May 2015 14:15:04 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.80) (envelope-from ) id 1YoFSp-0005Hq-RJ for bug-gnu-emacs@gnu.org; Fri, 01 May 2015 14:15:04 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Stefan Monnier Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Fri, 01 May 2015 18:15:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 19468 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: Original-Received: via spool by 19468-submit@debbugs.gnu.org id=B19468.143050405520254 (code B ref 19468); Fri, 01 May 2015 18:15:03 +0000 Original-Received: (at 19468) by debbugs.gnu.org; 1 May 2015 18:14:15 +0000 Original-Received: from localhost ([127.0.0.1]:58929 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1YoFS2-0005Gb-EX for submit@debbugs.gnu.org; Fri, 01 May 2015 14:14:14 -0400 Original-Received: from mercure.iro.umontreal.ca ([132.204.24.67]:58920) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1YoFS0-0005GT-UU for 19468@debbugs.gnu.org; Fri, 01 May 2015 14:14:13 -0400 Original-Received: from hidalgo.iro.umontreal.ca (hidalgo.iro.umontreal.ca [132.204.27.50]) by mercure.iro.umontreal.ca (Postfix) with ESMTP id CB3529C131; Fri, 1 May 2015 14:14:11 -0400 (EDT) Original-Received: from lechon.iro.umontreal.ca (lechon.iro.umontreal.ca [132.204.27.242]) by hidalgo.iro.umontreal.ca (Postfix) with ESMTP id 31EC31E5838; Fri, 1 May 2015 14:13:47 -0400 (EDT) Original-Received: by lechon.iro.umontreal.ca (Postfix, from userid 20848) id 1B6F1B40E9; Fri, 1 May 2015 14:13:47 -0400 (EDT) In-Reply-To: <834mnwsbfb.fsf@gnu.org> (Eli Zaretskii's message of "Fri, 01 May 2015 15:57:12 +0300") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.0.50 (gnu/linux) X-DIRO-MailScanner-Information: Please contact the ISP for more information X-DIRO-MailScanner: Found to be clean X-DIRO-MailScanner-SpamCheck: n'est pas un polluriel, SpamAssassin (score=-2.82, requis 5, autolearn=not spam, ALL_TRUSTED -2.82, MC_TSTLAST 0.00) X-DIRO-MailScanner-From: monnier@iro.umontreal.ca X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x X-Received-From: 140.186.70.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-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.bugs:102340 Archived-At: >> bar is present in classes A, B and C. >> If the parser knows the type of foo to be A, the backend employing it >> can bring us to the one definition. If, however, the backend returns the >> xrefs for A#foo, B#foo and C#foo, there's no way the UI could >> distinguish between them. > That's the case where the UI should instruct the back-end what it > needs, because the back-end doesn't know which of these alternatives > is the right one. You got it backwards: here, only the backend (which knows about the language's rules) can know, by asking the compiler. Remember: when you hit M-., the backend is asked to find the definition of the entity under point (so it has the complete context of occurrence of "bar" and can figure out that it's looking for the "bar" of class "A"), not the definition of a context-deprived "bar" identifier. Stefan