From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: fabrice nicol Newsgroups: gmane.emacs.bugs Subject: bug#47408: [PATCH] Etags support for Mercury -- fix explicit tags for existentially-quantified procedures Date: Fri, 18 Jun 2021 15:53:26 +0200 Message-ID: <9374caf0-80e3-82bf-7294-1fdcde99c7c1@gmail.com> References: <46bb9128-8bf5-e24c-2172-1cbb4202ee1d@gmail.com> <83lf7c5t6z.fsf@gnu.org> <46a10b9f-91d7-63c4-1513-0af4743e0940@gmail.com> <83eed45omq.fsf@gnu.org> <83y2b8zrxa.fsf@gnu.org> <83wnqszphk.fsf@gnu.org> <768bbdf8-19a9-7401-65a0-9171678c006b@gmail.com> <83zgvnxvfe.fsf@gnu.org> <87czsjmlpt.fsf@tucano.isti.cnr.it> <83wnqrxsgj.fsf@gnu.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="18587"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.11.0 Cc: 47408@debbugs.gnu.org To: Eli Zaretskii , Francesco =?UTF-8?Q?Potort=C3=AC?= Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Fri Jun 18 15:53:11 2021 Return-path: Envelope-to: geb-bug-gnu-emacs@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 1luEvn-0004hx-02 for geb-bug-gnu-emacs@m.gmane-mx.org; Fri, 18 Jun 2021 15:53:11 +0200 Original-Received: from localhost ([::1]:45454 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1luEvl-00028V-Vl for geb-bug-gnu-emacs@m.gmane-mx.org; Fri, 18 Jun 2021 09:53:09 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:45856) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1luEvd-00025t-Vk for bug-gnu-emacs@gnu.org; Fri, 18 Jun 2021 09:53:01 -0400 Original-Received: from debbugs.gnu.org ([209.51.188.43]:44538) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1luEvd-00087A-Ng for bug-gnu-emacs@gnu.org; Fri, 18 Jun 2021 09:53:01 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1luEvd-0007Px-La for bug-gnu-emacs@gnu.org; Fri, 18 Jun 2021 09:53:01 -0400 X-Loop: help-debbugs@gnu.org Resent-From: fabrice nicol Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Fri, 18 Jun 2021 13:53:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 47408 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: patch Original-Received: via spool by 47408-submit@debbugs.gnu.org id=B47408.162402433228443 (code B ref 47408); Fri, 18 Jun 2021 13:53:01 +0000 Original-Received: (at 47408) by debbugs.gnu.org; 18 Jun 2021 13:52:12 +0000 Original-Received: from localhost ([127.0.0.1]:56084 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1luEuq-0007Oh-7t for submit@debbugs.gnu.org; Fri, 18 Jun 2021 09:52:12 -0400 Original-Received: from mail-wm1-f47.google.com ([209.85.128.47]:36761) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1luEup-0007OS-60 for 47408@debbugs.gnu.org; Fri, 18 Jun 2021 09:52:11 -0400 Original-Received: by mail-wm1-f47.google.com with SMTP id h11-20020a05600c350bb02901b59c28e8b4so8791388wmq.1 for <47408@debbugs.gnu.org>; Fri, 18 Jun 2021 06:52:11 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=subject:to:cc:references:from:message-id:date:user-agent :mime-version:in-reply-to:content-transfer-encoding:content-language; bh=qTw7tMxPfrsZRe+f6YdJWQEwYa8gHfMCAKj5e/edvK8=; b=E1rYPaYfgkFtod079CMh5xehHS3wXSqe4g7DXOWfS2K61D6o+srWzW7W8wjqi/XOK9 apyVNJ/54iDpYLc7+HgmqbEyIYFbN+Q5ydJ1qNZ3Gpt4tD4OrWHFDMQVQ6/+tHk1d1g1 w+d8VhH7kPB01zqQ+Jnbtl7p6iWDwFRYmjMZqyERgcXmrPPKZq0dPzJsQp1tXj/YK80D vyRfxz34hYFDLCr7nO8q0tbn9zWT2dfiiGTSJIL9jOfQqV3DTGmSECR1GjJzBJb2BW8E auteW6uWfjSIXmC1qyFRuPnI3N+N0PIRoJcRUEwF/MkvUzNnevwU5j3hkuukBB95JEaV YrWQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:subject:to:cc:references:from:message-id:date :user-agent:mime-version:in-reply-to:content-transfer-encoding :content-language; bh=qTw7tMxPfrsZRe+f6YdJWQEwYa8gHfMCAKj5e/edvK8=; b=aIoWLZmfVRiZAPMmcByYCQUbO7sCUB67RjeZLjvMAv2W2ZlFshWOg6NKOUm1ayCsHA A9orWeFOE7L8UK4HsszA+tarwIfWtSvQCLm3WHpR1whKEi6IeOk7ESNsqP/2cqZGN9hx qgjB/IrNijMIDhwPYTrOS4uWbwa5k1eJtphcNf6fX2PQ3hcuqJEnsE9AObha3s0zdpPl BxwKiPj/n8yexF1GM6Wa0DBBlXgl9nLne4Tb1BA9ht8CCg7pPOYgjGgZ3ILiAq3LU61/ XHPxtF2/fXkUAbMTuYfjWUDZCViSKEdImn6Y+2k3dapVtS6EnvQumB4sbrpvy+GxYz9T cPBg== X-Gm-Message-State: AOAM5315CasnR1F+0b7EGU1k5K1nw57Om68mF9rW6D5CigKRhJ3ewaIH 2ofsFAIsBli7yPxvMj7Sk9OLpoW6tTbpag== X-Google-Smtp-Source: ABdhPJxmdaP+4uIVGXQv2DV62LOEXvF+K9sLQqEiYQqlMxgq2Jd2fRWiNZ/6UfxmRhk0evZORRUe7Q== X-Received: by 2002:a7b:cd9a:: with SMTP id y26mr11400842wmj.81.1624024325066; Fri, 18 Jun 2021 06:52:05 -0700 (PDT) Original-Received: from ?IPv6:2a01:cb1d:88b9:5c00:7b73:7901:965e:8523? ([2a01:cb1d:88b9:5c00:7b73:7901:965e:8523]) by smtp.gmail.com with ESMTPSA id o11sm7684022wmq.1.2021.06.18.06.52.04 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 18 Jun 2021 06:52:04 -0700 (PDT) In-Reply-To: <83wnqrxsgj.fsf@gnu.org> Content-Language: en-US X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list 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-mx.org@gnu.org Original-Sender: "bug-gnu-emacs" Xref: news.gmane.io gmane.emacs.bugs:208693 Archived-At: Well, I suggest adding this to a todo-list, leaving things as they stand in the meantime. There are other features that might be added to this list too, possibly higher: - tag type non 0-arity type constructors (as in inbuilt Vim support); - tag embedded foreign code (at least for C): there is a lot of embedded C in real-world Mercury code; I'll keep this for the summer vacation. F. >>> 2. I also removed module names from within tag names. The point is that >>> module name prefixing is optional in most cases >> I don't know about Mercurial, but this sounds similar to C++ classes: >> the fully-qualified class name is not always necessary. When possible, >> etags creates a fully-qualified name for the tag, like this: > Under the --class-qualify switch, yes. Maybe we should support that > for Mercury as well.