From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Stefan Monnier Newsgroups: gmane.emacs.devel Subject: Re: Fwd: Flymake and the 'face' property Date: Wed, 30 Jan 2019 15:56:30 -0500 Message-ID: References: <20190128152540.6870.46132@vcs0.savannah.gnu.org> <20190128152541.12A4D20B50@vcs0.savannah.gnu.org> <30bm401x64.fsf@fencepost.gnu.org> <83r2cw35jq.fsf@gnu.org> <83munk33gj.fsf@gnu.org> <83h8dr2yll.fsf@gnu.org> <83bm3z2vyv.fsf@gnu.org> <83zhri17dg.fsf@gnu.org> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="129207"; mail-complaints-to="usenet@blaine.gmane.org" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) Cc: emacs-devel@gnu.org To: Eli Zaretskii Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Wed Jan 30 21:56:57 2019 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([209.51.188.17]) by blaine.gmane.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:256) (Exim 4.89) (envelope-from ) id 1gowum-000XTo-Ql for ged-emacs-devel@m.gmane.org; Wed, 30 Jan 2019 21:56:56 +0100 Original-Received: from localhost ([127.0.0.1]:44126 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gowul-0000JH-Pb for ged-emacs-devel@m.gmane.org; Wed, 30 Jan 2019 15:56:55 -0500 Original-Received: from eggs.gnu.org ([209.51.188.92]:52135) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gowua-0000Ic-3H for emacs-devel@gnu.org; Wed, 30 Jan 2019 15:56:45 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gowuZ-0001n3-4q for emacs-devel@gnu.org; Wed, 30 Jan 2019 15:56:43 -0500 Original-Received: from pruche.dit.umontreal.ca ([132.204.246.22]:58102) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gowuY-0001jh-Pu; Wed, 30 Jan 2019 15:56:42 -0500 Original-Received: from fmsmemgm.homelinux.net (lechon.iro.umontreal.ca [132.204.27.242]) by pruche.dit.umontreal.ca (8.14.7/8.14.1) with ESMTP id x0UKuVUs011880; Wed, 30 Jan 2019 15:56:36 -0500 Original-Received: by fmsmemgm.homelinux.net (Postfix, from userid 20848) id 4D8EAAE13D; Wed, 30 Jan 2019 15:56:30 -0500 (EST) In-Reply-To: <83zhri17dg.fsf@gnu.org> (Eli Zaretskii's message of "Wed, 30 Jan 2019 17:40:27 +0200") 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, RV6472=0 X-NAI-Spam-Version: 2.3.0.9418 : core <6472> : inlines <7007> : streams <1811615> : uri <2788107> 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:232839 Archived-At: >> But the `category` text-property uses as text-properties the properties >> of a symbol, so there is a real conflict in our current design. > The 'category' symbols aren't faces, They can be. And even if they're not they may end up passed to `facep`. > so there's no problem here. I think you're minimizing the problem ;-) > I think you greatly exaggerate the importance of this incident. No I definitely do not claim it's a big deal. But it points out a flaw in a corner of our design, and it's pretty clear what is the right fix, so I think it's worth evaluating how hard/easy it would be to fix it right. > So I see no reason to waste any more energy on this. Please don't then. Other people may be motivated by these kinds of "unproductive" changes and I see no reason to discourage them. Stefan