From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Stefan Monnier Newsgroups: gmane.emacs.devel Subject: Re: `interactive-form` symbol property Date: Mon, 25 Jun 2018 16:22:40 -0400 Message-ID: References: <20180624121111.28772.8847@vcs0.savannah.gnu.org> <20180624121113.215CF206CC@vcs0.savannah.gnu.org> <87k1qokxa7.fsf@tcd.ie> <836028tauv.fsf@gnu.org> <83k1qmsxkb.fsf@gnu.org> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: blaine.gmane.org 1529958054 4952 195.159.176.226 (25 Jun 2018 20:20:54 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Mon, 25 Jun 2018 20:20:54 +0000 (UTC) User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) Cc: contovob@tcd.ie, kfogel@red-bean.com, emacs-devel@gnu.org To: Eli Zaretskii Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Mon Jun 25 22:20:50 2018 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fXXyg-0001BK-Pu for ged-emacs-devel@m.gmane.org; Mon, 25 Jun 2018 22:20:46 +0200 Original-Received: from localhost ([::1]:49080 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fXY0o-0002Ev-5w for ged-emacs-devel@m.gmane.org; Mon, 25 Jun 2018 16:22:58 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:32893) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fXY0e-0002EZ-44 for emacs-devel@gnu.org; Mon, 25 Jun 2018 16:22:48 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fXY0Z-0001rJ-5G for emacs-devel@gnu.org; Mon, 25 Jun 2018 16:22:48 -0400 Original-Received: from pruche.dit.umontreal.ca ([132.204.246.22]:48338) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fXY0Z-0001qm-0B; Mon, 25 Jun 2018 16:22:43 -0400 Original-Received: from pastel.home (lechon.iro.umontreal.ca [132.204.27.242]) by pruche.dit.umontreal.ca (8.14.7/8.14.1) with ESMTP id w5PKMeaU004346; Mon, 25 Jun 2018 16:22:41 -0400 Original-Received: by pastel.home (Postfix, from userid 20848) id 74A4A6557B; Mon, 25 Jun 2018 16:22:40 -0400 (EDT) In-Reply-To: <83k1qmsxkb.fsf@gnu.org> (Eli Zaretskii's message of "Mon, 25 Jun 2018 18:19:48 +0300") X-NAI-Spam-Flag: NO X-NAI-Spam-Threshold: 5 X-NAI-Spam-Score: 0 X-NAI-Spam-Rules: 2 Rules triggered EDT_SA_DN_PASS=0, RV6315=0 X-NAI-Spam-Version: 2.3.0.9418 : core <6315> : inlines <6717> : streams <1790738> : uri <2663988> X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 132.204.246.22 X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.21 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.org@gnu.org Original-Sender: "Emacs-devel" Xref: news.gmane.org gmane.emacs.devel:226730 Archived-At: > Supersets frequently impose overhead, because they try to solve a more > general problem. Don't we have some overhead of this kind in this > case? Yes, there can be many reasons to keep more than one mechanism. I'm not sure exactly what prompted me to grep for it, but I was actually very surprised to see 0 uses of it. It is this utter lack of use which made me feel that we should probably obsolete the mechanism, because even if it may be more convenient for some corner cases, these corner cases are negligible. Stefan