From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: =?utf-8?Q?Francesco_Potort=C3=AC?= Newsgroups: gmane.emacs.devel Subject: Re: Etags support for the Mercury programming language [continued] Date: Wed, 24 Mar 2021 10:23:23 +0100 Message-ID: References: <315d5da3-09b4-da9c-dfb0-e53fe88f3ead@gmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="11827"; mail-complaints-to="usenet@ciao.gmane.io" Cc: emacs-devel@gnu.org To: fabrice nicol Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Wed Mar 24 10:28:41 2021 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 1lOzof-0002yR-FI for ged-emacs-devel@m.gmane-mx.org; Wed, 24 Mar 2021 10:28:41 +0100 Original-Received: from localhost ([::1]:36290 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lOzoe-000713-FI for ged-emacs-devel@m.gmane-mx.org; Wed, 24 Mar 2021 05:28:40 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:48692) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lOzjc-0002zX-4P for emacs-devel@gnu.org; Wed, 24 Mar 2021 05:23:28 -0400 Original-Received: from smtp-clients2.isti.cnr.it ([146.48.28.37]:36616) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lOzja-0003WR-ER for emacs-devel@gnu.org; Wed, 24 Mar 2021 05:23:27 -0400 Original-Received: from tucano.isti.cnr.it (tucano.isti.cnr.it [146.48.81.102]) (Authenticated sender: pot) by smtp-clients2.isti.cnr.it (Postfix) with ESMTPSA id 02721B0820; Wed, 24 Mar 2021 10:23:23 +0100 (CET) X-Virus-Status: Clean X-Virus-Scanned: clamav-milter 0.103.0 at smtp-out.isti.cnr.it Original-Received: from pot by tucano.isti.cnr.it with local (Exim 4.94) (envelope-from ) id 1lOzjX-00GjV8-Hj; Wed, 24 Mar 2021 10:23:23 +0100 In-Reply-To: <315d5da3-09b4-da9c-dfb0-e53fe88f3ead@gmail.com> (fabrnicol@gmail.com) X-fingerprint: 4B02 6187 5C03 D6B1 2E31 7666 09DF 2DC9 BE21 6115 Received-SPF: softfail client-ip=146.48.28.37; envelope-from=pot@gnu.org; helo=smtp-clients2.isti.cnr.it X-Spam_score_int: -11 X-Spam_score: -1.2 X-Spam_bar: - X-Spam_report: (-1.2 / 5.0 requ) BAYES_00=-1.9, SPF_HELO_NONE=0.001, SPF_SOFTFAIL=0.665 autolearn=no autolearn_force=no X-Spam_action: no action X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.23 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" Xref: news.gmane.io gmane.emacs.devel:266937 Archived-At: >You will note an unconventional move.  I was daring enough to add two >options to 'etags' (-m and -M) to implement some kind of backward >compatibility with Prolog etags support (based on tagging definitions, >-M) while allowing a simpler, more idiomatic approach that focuses on >tagging  Mercury declarations only (-m).  Backward compatibility is >legitimate and quite useful, but having it on board all the time may be >cumbersome for some use cases.   Hence the 'behavioral' options I added. I fear this is too intrusive, but easy to amend. Instead of -M, youi should use --declarations Instead of -m, you should use --no-defines In both cases, the description of the options should be augmented with their Mercury use.