From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Dmitry Gutov Newsgroups: gmane.emacs.devel Subject: Re: Adding support for xref jumping to headers/interfaces Date: Sat, 11 Nov 2023 02:58:01 +0200 Message-ID: <11b5a8be-b15c-f275-d84a-89c2a3a513f7@gutov.dev> References: <83o7p20wdi.fsf@gnu.org> <72b09256-5a1b-8962-9e3c-7d2ffd0dc0d7@yandex.ru> <83ilf925n8.fsf@gnu.org> <95afa441-18ae-e62a-be16-be73a545bbba@yandex.ru> <65a16247-1b1a-149c-b413-71612f88f184@yandex.ru> <9377bf2b-13ed-8d86-4294-0b88e6808d80@yandex.ru> <953056ea-9cfb-34ad-6515-9036633dfdbb@yandex.ru> <2d964697-2b4e-64c7-2f16-aae87e57def4@yandex.ru> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="9148"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.13.0 Cc: emacs-devel@gnu.org To: =?UTF-8?B?Sm/Do28gVMOhdm9yYQ==?= , Spencer Baugh Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Sat Nov 11 01:59:05 2023 Return-path: Envelope-to: ged-emacs-devel@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1r1cKz-00022N-MG for ged-emacs-devel@m.gmane-mx.org; Sat, 11 Nov 2023 01:59:04 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1r1cKA-0000sz-Cq; Fri, 10 Nov 2023 19:58:10 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1r1cK7-0000sn-JM for emacs-devel@gnu.org; Fri, 10 Nov 2023 19:58:07 -0500 Original-Received: from out2-smtp.messagingengine.com ([66.111.4.26]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1r1cK5-0007Vy-Op for emacs-devel@gnu.org; Fri, 10 Nov 2023 19:58:07 -0500 Original-Received: from compute2.internal (compute2.nyi.internal [10.202.2.46]) by mailout.nyi.internal (Postfix) with ESMTP id B5D415C0273; Fri, 10 Nov 2023 19:58:04 -0500 (EST) Original-Received: from mailfrontend2 ([10.202.2.163]) by compute2.internal (MEProxy); Fri, 10 Nov 2023 19:58:04 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gutov.dev; h=cc :cc:content-transfer-encoding:content-type:content-type:date :date:from:from:in-reply-to:in-reply-to:message-id:mime-version :references:reply-to:sender:subject:subject:to:to; s=fm2; t= 1699664284; x=1699750684; bh=Z+Ffy2sCoKGVAY4sve0QAYDnuW6KlmiRBPp q/KR7iOU=; b=YUrRIynoI8bkm6QqSPQ8dNwV5yBeUdjtqG5XUNHfZNIPQ/lKUPm JVnejjxrL79UMHhQ7S+vDN6AhC7AZAK0ienOcenZIE+3yXeYwaGNR/2LUA79/175 TwNlmcALJpgxzZS7xXMkNmrSzTWtvPHgNGFEaf6RSFwX5pozmZJCisKM+LBOzWjm dEPR747RjobO77iQQ5Jx12pmcmHfraOfAzt+2mU+edopLJorjLHUxTPs3ytWYkMr 45Vqj1SE6f1FDdNuVc3WA9l/m/L2taF7WYeenGvb99SZFKs9S8CcBahVfjGZfCwF VAKu9l8QrZ8vF1eg78uVBG+gBLUpG3+UYPg== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:cc:content-transfer-encoding :content-type:content-type:date:date:feedback-id:feedback-id :from:from:in-reply-to:in-reply-to:message-id:mime-version :references:reply-to:sender:subject:subject:to:to:x-me-proxy :x-me-proxy:x-me-sender:x-me-sender:x-sasl-enc; s=fm3; t= 1699664284; x=1699750684; bh=Z+Ffy2sCoKGVAY4sve0QAYDnuW6KlmiRBPp q/KR7iOU=; b=H/LaZzXZ5U42ZURD+tXgVXUcyBivCw5zVf+1fD/F8ImKRctAURF g2qsSYoLW7HHCHp45RqI7+qVFt3PAJzJUUdT4ihAInzMT7ZDvURmWEnymqenLR30 afx+OOIPbXboRDhq2giyNQ8a249BBlP0QLceWodwkBh/SQx+HliCFsRNRP/OoSqv J9Y/fbZuH7YjKrlz5J8VzhWKytru4E/S6BKrEgAo5dZzrC/PLgN4oOzYvQxPRKW7 F6VdY6oQx0JacHALEz7J9+9X+GnIpMZmgW5a3KdO+ZUDXfZP/vFf3LAUAO6srsDN QWyHRpap+kauq67xaimV8FPx0UDD9K268Eg== X-ME-Sender: X-ME-Received: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgedvkedruddvgedgvdejucetufdoteggodetrfdotf fvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdfqfgfvpdfurfetoffkrfgpnffqhgen uceurghilhhouhhtmecufedttdenucesvcftvggtihhpihgvnhhtshculddquddttddmne cujfgurhepkfffgggfuffvvehfhfgjtgfgsehtkeertddtfeejnecuhfhrohhmpeffmhhi thhrhicuifhuthhovhcuoegumhhithhrhiesghhuthhovhdruggvvheqnecuggftrfgrth htvghrnhephfffheeljeffgeffueeghfekkedtfffgheejvdegjeettdduheeufffggfef jeehnecuvehluhhsthgvrhfuihiivgeptdenucfrrghrrghmpehmrghilhhfrhhomhepug hmihhtrhihsehguhhtohhvrdguvghv X-ME-Proxy: Feedback-ID: i0e71465a:Fastmail Original-Received: by mail.messagingengine.com (Postfix) with ESMTPA; Fri, 10 Nov 2023 19:58:03 -0500 (EST) Content-Language: en-US In-Reply-To: Received-SPF: pass client-ip=66.111.4.26; envelope-from=dmitry@gutov.dev; helo=out2-smtp.messagingengine.com X-Spam_score_int: -60 X-Spam_score: -6.1 X-Spam_bar: ------ X-Spam_report: (-6.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, NICE_REPLY_A=-3.265, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H3=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Original-Sender: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.emacs.devel:312511 Archived-At: On 09/11/2023 22:44, João Távora wrote: > So I thought, that about 6 months ago we had established that > "definition" and "reference" are two relatively safe concept to > keep in xref.el, but other concepts should not be in there, > because this doesn't scale well and could imposes awkward > structure and hacks into an unknown number of backends. > > Has everyone changed their mind? My impression is that the first feedback from our patches actually made people excited about things that _weren't_ included in the previously-discussed plan, so it seems like a good idea to re-evaluate it. Though not necessarily redo it all. Though I guess this particular mailing list might be biased in favor of particular type of users (keyboard-driven, faster interaction as a priority). > What exactly bothers you > about eglot-find-declaration/implementation/typeDefinition? > In LSP-land these concepts_do_ make sense, because the > LSP standard prescribes what servers should do with them. I think we've actually discovered that these kind of make sense for Elisp too. They might not match the current implementation, but conceptually, in some future, they might. Again, not that we will necessarily change Elisp's backend to align with LSP, but this makes the notions universal enough, it seems. And yes, there might be more specific kinds which I don't know if we're going to support directly.