From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Drew Adams Newsgroups: gmane.emacs.bugs Subject: bug#45428: 27.1; (quote (quote (quote ...))) unexpectedly works as anonymous face Date: Mon, 28 Dec 2020 12:44:11 -0800 (PST) Message-ID: References: <<<<<>>>>> <<<<<<87eejc9pnm.fsf@gnus.org>>>>>> <<<<<>>>>> <<<<<<5e99c39b-b67b-4184-a890-2cae38fb40de@default>>>>>> <<<<<<87a6tzk5iv.fsf@metalevel.at>>>>>> <<<<<<83h7o7kufk.fsf@gnu.org>>>>>> <<<<<975c150b-99aa-4143-b057-8b5ec7caec19@default>>>>> <<<<<838s9jkqh7.fsf@gnu.org>>>>> <<<>>> <<<<835z4mkpvz.fsf@gnu.org>>>> <<<5dfff982-e496-46fe-9efd-1e0edd4f0be8@default>>> <<<83o8idkehc.fsf@gnu.org>>> <<<83mtxxkcwk.fsf@gnu.org>>> <<9a600718-7caf-4ad0-a664-0ebafba63e57@default>> <<83im8lk9lp.fsf@gnu.org>> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="14593"; mail-complaints-to="usenet@ciao.gmane.io" Cc: larsi@gnus.org, stefan@marxist.se, triska@metalevel.at, 45428@debbugs.gnu.org To: Eli Zaretskii , Drew Adams Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Mon Dec 28 21:45:10 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 1ktzOA-0003gz-Fb for geb-bug-gnu-emacs@m.gmane-mx.org; Mon, 28 Dec 2020 21:45:10 +0100 Original-Received: from localhost ([::1]:44486 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ktzO9-0000FB-GX for geb-bug-gnu-emacs@m.gmane-mx.org; Mon, 28 Dec 2020 15:45:09 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:57180) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1ktzO2-0000En-8W for bug-gnu-emacs@gnu.org; Mon, 28 Dec 2020 15:45:02 -0500 Original-Received: from debbugs.gnu.org ([209.51.188.43]:53669) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1ktzO2-0005ux-0E for bug-gnu-emacs@gnu.org; Mon, 28 Dec 2020 15:45:02 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1ktzO1-00065Z-TS for bug-gnu-emacs@gnu.org; Mon, 28 Dec 2020 15:45:01 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Drew Adams Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Mon, 28 Dec 2020 20:45:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 45428 X-GNU-PR-Package: emacs Original-Received: via spool by 45428-submit@debbugs.gnu.org id=B45428.160918826623346 (code B ref 45428); Mon, 28 Dec 2020 20:45:01 +0000 Original-Received: (at 45428) by debbugs.gnu.org; 28 Dec 2020 20:44:26 +0000 Original-Received: from localhost ([127.0.0.1]:36982 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ktzNS-00064U-Gx for submit@debbugs.gnu.org; Mon, 28 Dec 2020 15:44:26 -0500 Original-Received: from aserp2120.oracle.com ([141.146.126.78]:54744) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ktzNO-00064F-Kj for 45428@debbugs.gnu.org; Mon, 28 Dec 2020 15:44:25 -0500 Original-Received: from pps.filterd (aserp2120.oracle.com [127.0.0.1]) by aserp2120.oracle.com (8.16.0.42/8.16.0.42) with SMTP id 0BSKeaXo033392; Mon, 28 Dec 2020 20:44:15 GMT DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=oracle.com; h=mime-version : message-id : date : from : sender : to : cc : subject : references : in-reply-to : content-type : content-transfer-encoding; s=corp-2020-01-29; bh=yVDF5UoZP9PXL4PvcbvEnNjqEF7tEbNT9MLduz5C8rw=; b=cW4WPTa8kp92rv7zZPsiZTxy+RWXgegc9DNjk+NipEUpqxeb+kRSjwMiP/A0EoR9oNKX 5e/0ndWFQ5xTm3TJ6UuL74j/EJyabiOXTMtEOYGbv/7HxSAWKWPbWuFz2DLfPIiRzQO7 ArVf12OCs9XwkLs1pIoDFn27W2nf4ZKn5/zB6UfB4nVIzv7lmSVdn69yijcQiGmlrzuO Jp/Utxsx9G9r/SEc27yBK5SFiaBXts57Kimlgo2U0Sv1lQ2+82OWejQ+pJXjFXamPEcA 7SKnaHvi3qVU3cPDBZ/p4hyV7P4sfYQ7IMScnTLASVAipJzsd8LKQbSDjpsL2kspuqdN Sg== Original-Received: from userp3030.oracle.com (userp3030.oracle.com [156.151.31.80]) by aserp2120.oracle.com with ESMTP id 35phm1bhqc-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=FAIL); Mon, 28 Dec 2020 20:44:15 +0000 Original-Received: from pps.filterd (userp3030.oracle.com [127.0.0.1]) by userp3030.oracle.com (8.16.0.42/8.16.0.42) with SMTP id 0BSKfB7W027300; Mon, 28 Dec 2020 20:44:15 GMT Original-Received: from userv0122.oracle.com (userv0122.oracle.com [156.151.31.75]) by userp3030.oracle.com with ESMTP id 35pf3vsqv7-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Mon, 28 Dec 2020 20:44:14 +0000 Original-Received: from abhmp0016.oracle.com (abhmp0016.oracle.com [141.146.116.22]) by userv0122.oracle.com (8.14.4/8.14.4) with ESMTP id 0BSKiCUN005944; Mon, 28 Dec 2020 20:44:12 GMT In-Reply-To: <<83im8lk9lp.fsf@gnu.org>> X-Priority: 3 X-Mailer: Oracle Beehive Extensions for Outlook 2.0.1.9.1 (1003210) [OL 16.0.5095.0 (x86)] X-Proofpoint-Virus-Version: vendor=nai engine=6000 definitions=9848 signatures=668683 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 mlxscore=0 malwarescore=0 adultscore=0 mlxlogscore=999 suspectscore=0 spamscore=0 phishscore=0 bulkscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2009150000 definitions=main-2012280127 X-Proofpoint-Virus-Version: vendor=nai engine=6000 definitions=9848 signatures=668683 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 suspectscore=0 priorityscore=1501 mlxscore=0 mlxlogscore=999 adultscore=0 bulkscore=0 malwarescore=0 spamscore=0 impostorscore=0 phishscore=0 clxscore=1015 lowpriorityscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2009150000 definitions=main-2012280127 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:196896 Archived-At: > > I see the same thing that I see when I use this: > > (insert (propertize "hello" 'face '(:height 10.0))) >=20 > Not exactly the same, see below. >=20 > > The bug, IMO, is that this is not "a sequence of > > PROPERY VALUE pairs...", which is what the doc > > says it should be: (quote (quote '(:height 10.0))) >=20 > Right, it's not. >=20 > > I wouldn't think of this as a doc bug because (1) > > this behavior is so unusual >=20 > Which behavior are you alluding to here? and what is the "doc bug", > exactly? I was alluding to the fact that the doc says that "Remaining arguments form a sequence of PROPERTY VALUE pairs", but the inserted text seems to show the effect of the pair `face (:height 10.0)', even though that pair isn't present. Instead, the only pair is, in effect (by evaling the outermost `quote'), `face (quote '(:height 10.0))'. The value `(quote '(:height 10.0))' for text property `face' is different from the value `(:height 10.0)', but the effect seems to be the same. Likewise, if you use (quote (quote (quote (quote '(:height 10.0))))) > > Wrt #1: nowhere else, AFAIK, do we accept > > (quote (quote (quote SEXP))) > > or (quote (quote (quote (quote (quote SEXP))))) > > or as a substitute for SEXP. >=20 > We don't "accept" it here, either. >=20 > > We don't do that anywhere else, and I don't see > > why we should do it here (or anywhere)? >=20 > We don't. Please look in *Messages*, and you will see that. OK. I see that if I click move point around in *Messages*, and with repetitions presumably from redisplay cycles, this is shown in *Messages*: Invalid face reference: quote There's no doubt some explanation for why the pair formed by nested `quote's doesn't just get rejected but is reported as invalid and has the innermost `(:height 10.0)' taken into account. No doubt you'll explain that (please), but at least I hope you can see that it's not obvious. Given an explanation, there's presumably no bug. So far, without an explanation, I don't understand the behavior. It's surprising, at the least. But I guess it has something to do with what's allowed as a face "reference" and how such are handled? If this is entirely normal behavior then I don't, off-hand, see a way to lessen the surprise by changing the doc. Do you? Depending on the explanation, maybe there's something that could or should be added to the manual about the behavior of anonymous face representations? Having heard the misunderstanding that we've made (still without my understanding, so far), do you have a suggestion for how to dispel/prevent it?