From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Markus Triska Newsgroups: gmane.emacs.bugs Subject: bug#45428: 27.1; (quote (quote (quote ...))) unexpectedly works as anonymous face Date: Fri, 25 Dec 2020 13:34:21 +0100 Message-ID: Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="12054"; mail-complaints-to="usenet@ciao.gmane.io" To: 45428@debbugs.gnu.org Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Fri Dec 25 13:41:13 2020 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 1ksmPB-00031X-58 for geb-bug-gnu-emacs@m.gmane-mx.org; Fri, 25 Dec 2020 13:41:13 +0100 Original-Received: from localhost ([::1]:47798 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ksmPA-0002ti-3o for geb-bug-gnu-emacs@m.gmane-mx.org; Fri, 25 Dec 2020 07:41:12 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:38806) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1ksmP1-0002tP-11 for bug-gnu-emacs@gnu.org; Fri, 25 Dec 2020 07:41:03 -0500 Original-Received: from debbugs.gnu.org ([209.51.188.43]:45376) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1ksmP0-0003t2-On for bug-gnu-emacs@gnu.org; Fri, 25 Dec 2020 07:41:02 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1ksmP0-0002lK-Lw for bug-gnu-emacs@gnu.org; Fri, 25 Dec 2020 07:41:02 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Markus Triska Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Fri, 25 Dec 2020 12:41:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 45428 X-GNU-PR-Package: emacs X-Debbugs-Original-To: bug-gnu-emacs@gnu.org Original-Received: via spool by submit@debbugs.gnu.org id=B.160890001410549 (code B ref -1); Fri, 25 Dec 2020 12:41:02 +0000 Original-Received: (at submit) by debbugs.gnu.org; 25 Dec 2020 12:40:14 +0000 Original-Received: from localhost ([127.0.0.1]:56922 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ksmOD-0002k5-J7 for submit@debbugs.gnu.org; Fri, 25 Dec 2020 07:40:13 -0500 Original-Received: from lists.gnu.org ([209.51.188.17]:41934) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ksmOB-0002jx-FL for submit@debbugs.gnu.org; Fri, 25 Dec 2020 07:40:11 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:38728) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1ksmOB-0002ll-49 for bug-gnu-emacs@gnu.org; Fri, 25 Dec 2020 07:40:11 -0500 Original-Received: from [78.47.144.35] (port=45292 helo=metalevel.at) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ksmO9-0003YZ-Cm for bug-gnu-emacs@gnu.org; Fri, 25 Dec 2020 07:40:10 -0500 Original-Received: from mt-mbpro.localdomain (localhost [127.0.0.1]) by metalevel.at (Postfix) with ESMTP id 05FCA9E759 for ; Fri, 25 Dec 2020 13:34:23 +0100 (CET) Original-Received: by mt-mbpro.localdomain (Postfix, from userid 501) id B6A1B1276E8A; Fri, 25 Dec 2020 13:34:21 +0100 (CET) X-Host-Lookup-Failed: Reverse DNS lookup failed for 78.47.144.35 (failed) Received-SPF: none client-ip=78.47.144.35; envelope-from=triska@metalevel.at; helo=metalevel.at X-Spam_score_int: -10 X-Spam_score: -1.1 X-Spam_bar: - X-Spam_report: (-1.1 / 5.0 requ) BAYES_00=-1.9, RDNS_NONE=0.793, SPF_HELO_NONE=0.001, SPF_NONE=0.001 autolearn=no autolearn_force=no X-Spam_action: no action 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:196700 Archived-At: In 39.12 Faces, the Emacs Lisp documentation states: One way to represent a face is as a property list of attributes, like =E2=80=98(:foreground "red" :weight bold)=E2=80=99. Such a list is= called an =E2=80=9Canonymous face=E2=80=9D. And according to 5.9 Property Lists, a property list "is a list of paired elements.". Specifying the anonymous face (:height 10.0), i.e., a property list, works exactly as intended and documented when we invoke Emacs with: $ emacs -Q --eval '(font-lock-mode 0)' \ --eval "(insert (propertize \ \"hello\" \ 'face (quote (:height 10.0))))" Writing (quote (:height 10.0)) is equal to writing '(:height 10.0): (equal (quote (:height 10.0)) '(:height 10.0)) =3D=3D> t However, using multiple nested (quote ...) forms is not equivalent to using a single quote in general: (equal (quote (quote (:height 10.0))) '(:height 10.0)) =3D=3D> nil Yet, wrapping the face within multiple nested (quote ...) forms unexpectedly yields the same visual result as using a single quote form, namely (again) an enlarged "hello": $ emacs -Q --eval '(font-lock-mode 0)' \ --eval "(insert (propertize \ \"hello\" \ 'face (quote (quote '(:height 10.0)))))" In this case, the anonymous face is not specified as a property list, but as a symbolic expression of the form (quote (quote (quote ...))), and still works. Is this the intended result, and can we rely on it? If so, could you please document it? Issue #35005 is related to this. Thank you a lot! Markus In GNU Emacs 27.1 (build 1, x86_64-apple-darwin15.3.0, X toolkit, Xaw scrol= l bars) of 2020-12-12 built on mac Windowing system distributor 'The X.Org Foundation', version 11.0.11502000 System Description: Mac OS X 10.11.3