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: Tue, 28 Feb 2023 01:34:16 +0200 Message-ID: <39e25c9a-b4cc-a0ce-3f2a-1d2a1fc243d0@yandex.ru> References: <83bklin83z.fsf@gnu.org> <865ybmu2ha.fsf@stephe-leake.org> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="7587"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.7.1 Cc: Eli Zaretskii , Spencer Baugh , emacs-devel@gnu.org, azeng@janestreet.com To: Stephen Leake Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Tue Feb 28 00:35:10 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 1pWn1R-0001nQ-Sz for ged-emacs-devel@m.gmane-mx.org; Tue, 28 Feb 2023 00:35:09 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pWn0i-0008H0-QF; Mon, 27 Feb 2023 18:34:24 -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 1pWn0h-0008Ga-FC for emacs-devel@gnu.org; Mon, 27 Feb 2023 18:34:23 -0500 Original-Received: from mail-wr1-x42d.google.com ([2a00:1450:4864:20::42d]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1pWn0f-0007ZA-94; Mon, 27 Feb 2023 18:34:23 -0500 Original-Received: by mail-wr1-x42d.google.com with SMTP id h14so7947054wru.4; Mon, 27 Feb 2023 15:34:20 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=content-transfer-encoding:in-reply-to:from:references:cc:to :content-language:subject:user-agent:mime-version:date:message-id :sender:from:to:cc:subject:date:message-id:reply-to; bh=BgMBEY+bI1ofSyMD1oOZ1So++GOSNcoJfjm+7KtiX6E=; b=jje17aclXaAQ8/eKs97i7ufJR9pt3aWSeBRhyMMGf5cKlpZe5qqruFL0cqasJQxxjO 4FUNkXBmNa8R4o28gq1TbC6kJ8zY2t7BGzLrbSjhQxEHhcXywe3tFHWHfVU2e2GzRRTY 3C48iOksZSLgn+e/EkffC2FhWoJ5uuu0WL2UevBCMch3z+xA0YwcOlcB8LJSHjTrBzKi S/E06foYr8nxDTsdpsIchQQHEd+06N3l315WgisOBTgIqHu1govfH/pTH0wi8dSN2rxz TYnQoCovgeoU3uO1t6VVMlWq15M3GhdZ/TvlRvQ9z4sb02Mq9jvveAJ11rycsNDIDMBa IR5g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=content-transfer-encoding:in-reply-to:from:references:cc:to :content-language:subject:user-agent:mime-version:date:message-id :sender:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=BgMBEY+bI1ofSyMD1oOZ1So++GOSNcoJfjm+7KtiX6E=; b=xZo6evVa6DEJGJb+qtN/UNB4lPig2qKTHvx5TF+rGAQhuafpvWZaQVQfTZsw91UBmD JvPrh9TAXidi5ZISlPbJGN5JUdbtfN3C/aCG/RGZ5o+IU7VisGyNz5z2E2992OpdtxfC +EPoHk0Jl13ZdaJ2ckHw/C6fOM5voOVZruJm0qfux9GpwwHshMV1sxHoZvg6iV8AqHFp gL5ibARoSi/3Q2XjrXFbhln8sLoDB2rseGkJSrnUjvqukogIbu8oxFZxnuIfPwbgMvA6 1hmhBoYa8e+Ot/fgoX7vJxBIldzRBZv3q/2pm7hnm7sp4ErGzSFiSCN9Pe2ShDFy8bh/ NKTQ== X-Gm-Message-State: AO0yUKWQtVyu20LGuOnL6c0l6D8oBmvfvaAJiBWSaMgDLt7XkNhVqU4u I2KrwL/BUKRxikuAH3+Ytms= X-Google-Smtp-Source: AK7set91/MlPqTIlB3SmgFmYlJT6HQKAU3xNxWzfvybselIP/3aBfzF2XmawRl3xEDUgz1PjgsOW8g== X-Received: by 2002:a5d:59c2:0:b0:2c5:4c5e:412b with SMTP id v2-20020a5d59c2000000b002c54c5e412bmr6609299wry.23.1677540858636; Mon, 27 Feb 2023 15:34:18 -0800 (PST) Original-Received: from [192.168.0.2] ([46.251.119.176]) by smtp.googlemail.com with ESMTPSA id y18-20020a5d4ad2000000b002c5584d0e3dsm8326882wrs.24.2023.02.27.15.34.17 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Mon, 27 Feb 2023 15:34:18 -0800 (PST) Content-Language: en-US In-Reply-To: <865ybmu2ha.fsf@stephe-leake.org> Received-SPF: pass client-ip=2a00:1450:4864:20::42d; envelope-from=raaahh@gmail.com; helo=mail-wr1-x42d.google.com X-Spam_score_int: -15 X-Spam_score: -1.6 X-Spam_bar: - X-Spam_report: (-1.6 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FORGED_FROMDOMAIN=0.249, FREEMAIL_FROM=0.001, HEADER_FROM_DIFFERENT_DOMAINS=0.249, NICE_REPLY_A=-0.089, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=no 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:303844 Archived-At: On 28/02/2023 01:12, Stephen Leake wrote: > Dmitry Gutov writes: > >> About the name, though -- does "jump to interfaces" make sense for >> many languages? To my ear, the naming seems specific to OCaml. >> >> "jump to declaration(s)", perhaps? > In Ada, the term is "specification(s)". I don't know of other languages > that use it, but the English meaning is clear. That sounds clear enough, but if it's only an Ada term, it might not be the best choice for other languages. E.g. from completion POV. This seems like a good occasion for a popular vote. So everyone is welcome to state their preferred naming.