From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: =?UTF-8?B?Sm/Do28gVMOhdm9yYQ==?= Newsgroups: gmane.emacs.devel Subject: Re: Fwd: Flymake and the 'face' property Date: Wed, 30 Jan 2019 17:05:26 +0000 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; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="145101"; mail-complaints-to="usenet@blaine.gmane.org" Cc: Stefan Monnier , emacs-devel To: Eli Zaretskii Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Wed Jan 30 18:06:38 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 1gotJt-000bXp-TY for ged-emacs-devel@m.gmane.org; Wed, 30 Jan 2019 18:06:38 +0100 Original-Received: from localhost ([127.0.0.1]:41389 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gotJn-00046l-OR for ged-emacs-devel@m.gmane.org; Wed, 30 Jan 2019 12:06:31 -0500 Original-Received: from eggs.gnu.org ([209.51.188.92]:32805) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gotJ3-00043K-Np for emacs-devel@gnu.org; Wed, 30 Jan 2019 12:05:49 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gotJ1-0000g2-Lt for emacs-devel@gnu.org; Wed, 30 Jan 2019 12:05:45 -0500 Original-Received: from mail-qt1-x82e.google.com ([2607:f8b0:4864:20::82e]:33542) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gotJ0-0000cq-C7; Wed, 30 Jan 2019 12:05:42 -0500 Original-Received: by mail-qt1-x82e.google.com with SMTP id l11so340041qtp.0; Wed, 30 Jan 2019 09:05:39 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc:content-transfer-encoding; bh=BvZxjZ+u9vWStKx/p5Qpl7pTdz7v/3Tpkg8ZGjJqVSU=; b=BgmN9oc9+iooaUkvyyEycdpDpM/5NCtU4Kd17dVExZoLZtXmD1xpJt2vysqJpNi8vF rnMUgnEH188Jc5Ey6XPfdGpKvzkrR8i8V7f7xN9nXIluGjc/PsRo4SjrcDwnSn16LXu9 nsrodhAeybWdAph8wL8ypbqPGn0EmuEwrv5Bs27tPWcnb1c68qaS9h+GYoE2JhRuH7cS aSU5irnsRyj3NvToS/HTuj/EpvCG8KQYnkydUIWKrI1JlDJKDMOVlCIxUtGnLe27BJ9Y moyMMwB69F48yEhNQAClo+kafz6HyFzRchkChmnPY0oEKFwZpdtelS8gbJxK+ha3Xljs C4PA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc:content-transfer-encoding; bh=BvZxjZ+u9vWStKx/p5Qpl7pTdz7v/3Tpkg8ZGjJqVSU=; b=lWWbKNBLZXVNakYks412DWj8CzAbPc6I6EWDauqRjibl/HDWfxJgmBsHgywF0Z9qrF enbF+kIL8LSkdFBu4ntF5KIupwpU+hBAFjuNSBTQlUwss8NTx97T0kZqTiBaSDalW2s3 t7JoRYvPVb4Fa4RaV23ZYq5B/quBaEaRnT/F7Orrbefpd1/JoRhMp77aiG01IU5NJ3NO 5UA+MZgFv6J2tWJEbqgp2wgbK6TsAXXVfV843kr33jU11uGpOnB8vqTOzuIkkNFFBLpI /wKgmAMBlV3g5uPaeKCiSdHOHhAxkNXnGot1NMKjRr1IWDJDU6hRCqzXpmiUnRalpAkT PS7g== X-Gm-Message-State: AJcUukeL1aQPPGW7qZO2MthqIwxg5WzgBq07g+8HMoHtZzlmgcY3McdD ZawaaDiE+y+vR2VSzbXAjG53Pb7wco5j44cj5U0KJdnZ X-Google-Smtp-Source: ALg8bN7tdVERN0hn8RIXUqJSs3YuaMXXHFRTgLZAuK3n//VTPTuifn0AcvpQARj9eZE6A6IP/Y+vz8p+M3lWMV2gb+U= X-Received: by 2002:ac8:88:: with SMTP id c8mr31483109qtg.218.1548867938703; Wed, 30 Jan 2019 09:05:38 -0800 (PST) In-Reply-To: <83zhri17dg.fsf@gnu.org> X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 2607:f8b0:4864:20::82e 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:232834 Archived-At: On Wed, Jan 30, 2019 at 3:41 PM Eli Zaretskii wrote: > > > From: Stefan Monnier > > Date: Wed, 30 Jan 2019 04:37:32 -0500 > > > > > A 'face' property is documented for general use only for text, not fo= r > > > symbol plists. > > > > 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, so there's no problem here. the > 'face' property has special meaning only on symbols that name a face. Except when they are. There is no rule in Emacs that says the same symbol can't be used for multiple purposes. In fact, that is mostly the Lisp way (functions, variables, fringe bitmaps, tests, etc, etc), at least for the Lisps I'm familiar with. So IMO it's not a trivial issue in neither theory or practice. Agreeing with Stefan, if it's not too much trouble, I would like Emacs to not violate this basic principle. If it's not possible, then I think we must mention in the documentation node about categories that 'face' is an obsolete alias for 'category-face' (and add somewhere else that 'face', despite it's innocent-looking name shouldn't be used at all). Jo=C3=A3o