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#61281: =?UTF-8?Q?=E2=80=9C`?=(a \, b)=?UTF-8?Q?=E2=80=9D?= equals to =?UTF-8?Q?=E2=80=9C`?=(a . , b)=?UTF-8?Q?=E2=80=9D?= Date: Sun, 5 Feb 2023 15:48:54 +0000 Message-ID: References: <87a61tgdkx.fsf@web.de> <875ycghgv1.fsf@web.de> Mime-Version: 1.0 Content-Type: text/plain; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="21092"; mail-complaints-to="usenet@ciao.gmane.io" Cc: Xie Shynur , "61281@debbugs.gnu.org" <61281@debbugs.gnu.org> To: Michael Heerdegen Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Sun Feb 05 16:50:23 2023 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 1pOhHa-0005Gu-Qr for geb-bug-gnu-emacs@m.gmane-mx.org; Sun, 05 Feb 2023 16:50:23 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pOhHJ-0008Re-1M; Sun, 05 Feb 2023 10:50:05 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pOhHG-0008RL-Kw for bug-gnu-emacs@gnu.org; Sun, 05 Feb 2023 10:50:02 -0500 Original-Received: from debbugs.gnu.org ([209.51.188.43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1pOhHG-0005Yp-9o for bug-gnu-emacs@gnu.org; Sun, 05 Feb 2023 10:50:02 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1pOhHF-0003jQ-VR for bug-gnu-emacs@gnu.org; Sun, 05 Feb 2023 10:50: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: Sun, 05 Feb 2023 15:50:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 61281 X-GNU-PR-Package: emacs Original-Received: via spool by 61281-submit@debbugs.gnu.org id=B61281.167561214214271 (code B ref 61281); Sun, 05 Feb 2023 15:50:01 +0000 Original-Received: (at 61281) by debbugs.gnu.org; 5 Feb 2023 15:49:02 +0000 Original-Received: from localhost ([127.0.0.1]:46303 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pOhGH-0003hw-Ms for submit@debbugs.gnu.org; Sun, 05 Feb 2023 10:49:02 -0500 Original-Received: from mx0b-00069f02.pphosted.com ([205.220.177.32]:43568) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pOhGF-0003hh-9c for 61281@debbugs.gnu.org; Sun, 05 Feb 2023 10:49:00 -0500 Original-Received: from pps.filterd (m0246632.ppops.net [127.0.0.1]) by mx0b-00069f02.pphosted.com (8.17.1.19/8.17.1.19) with ESMTP id 315EQwm6004592; Sun, 5 Feb 2023 15:48:57 GMT DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=oracle.com; h=from : to : cc : subject : date : message-id : references : in-reply-to : content-type : content-transfer-encoding : mime-version; s=corp-2022-7-12; bh=VxANpxtjS9Z+gC2XeaDAfAKZFrCsI1ZkkkUWeX0ZfPI=; b=2UWE/bznAUsTSKslwgzrrpf6mTg2etwzo+mt54tC7Gs8XnW7Ul9y9fkn48QxBEzdEvcZ Yn81nc3HDg2dN47q60bNlFhlvF16U8/0+NRGFchv0CdbGTh1+6NDi6QeLQz+4EsdMSmv U6y61hWusE46TN6CqXlKiexCOBcf6q/oCj9ILOWeojWAjoXyp2lhN7WoKPLinW1FQQVt SdSje5M0MxQvk/u3eP5DG261xtG4QMMok9WsiVXJIgQb6Mxy70KakhfNx2lxCXNF4cH1 jhPKJVtGhn6G18l0BhfT/c1Cj9/NKC6cJMqJUm1EazCeVdPyZ+WRYoPtl+pWrLqar3SV kQ== Original-Received: from iadpaimrmta02.imrmtpd1.prodappiadaev1.oraclevcn.com (iadpaimrmta02.appoci.oracle.com [147.154.18.20]) by mx0b-00069f02.pphosted.com (PPS) with ESMTPS id 3nheytse7t-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Sun, 05 Feb 2023 15:48:57 +0000 Original-Received: from pps.filterd (iadpaimrmta02.imrmtpd1.prodappiadaev1.oraclevcn.com [127.0.0.1]) by iadpaimrmta02.imrmtpd1.prodappiadaev1.oraclevcn.com (8.17.1.5/8.17.1.5) with ESMTP id 315AT3mZ001178; Sun, 5 Feb 2023 15:48:57 GMT Original-Received: from nam10-bn7-obe.outbound.protection.outlook.com (mail-bn7nam10lp2102.outbound.protection.outlook.com [104.47.70.102]) by iadpaimrmta02.imrmtpd1.prodappiadaev1.oraclevcn.com (PPS) with ESMTPS id 3nhdta5g1k-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Sun, 05 Feb 2023 15:48:56 +0000 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=fEctDZoQMVjS7APFIOXZBxJBeyOAApS/onZME/Gcp9INW4cxR2hw7EWNZrXee4BEhC3iN0Bag3VUcfLNxtOFhi123AT8N+KclH5zjBMmlrrHQ4k3bELeoruU+jnna7B9NIa7/FG6dCG8YMb+XbvyUJ2QR8D67qfXlZ6lvfR7IEKcM3WpSCQgn24+caDkWpJtsA9qj35jFAuSBOEuizMWIGYw0s8+kctxMBMv8bJaP42bbgrhpRAbNCdnvke0VkmLtXGiWKZ4R2APo+ZKD2BixFDImxarHz7ii3Wbyo8+evPToj9NWV9ukj3y33OuSMtaaUepyRZNNwCGfGjDGfw/fg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=VxANpxtjS9Z+gC2XeaDAfAKZFrCsI1ZkkkUWeX0ZfPI=; b=ESykJbjEbfp2XcLRtwUf9dw9gPzcUAb26bI/kfQYz1M/Gh7PiOL6T2ZLZs448MHAAy3j75sEYJEOh+8rMpL+KTuD4zcpTmKE1uEHDomkoeffRtBzZPkD4uHUwZRaeVuEaOZIL3WMkZVgyYMzK7kg+BXw9I/XK3crUdtnWmajrMqs2ZVLVumvBKswM7XpZEBTchSpvZSXTImzzx0HYLd3gBPVPIDYMPkx6DSuqM2OhJvfFljqeT7B351vRobyaiuLm83lQ9rlJR2skjt6Vp9G4hH95ev6qLcDGCRVFuFpUhKb19CUFNDWLkyw5UInxCNu9gDLIhU5GXCmHcDEZ8LYcw== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=oracle.com; dmarc=pass action=none header.from=oracle.com; dkim=pass header.d=oracle.com; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=oracle.onmicrosoft.com; s=selector2-oracle-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=VxANpxtjS9Z+gC2XeaDAfAKZFrCsI1ZkkkUWeX0ZfPI=; b=JBoXMXa2//UgWvsvJ85tb8zjMbPbJ2yirJAyVnm1K0eyR1vc4PAK6CI3P1n89Sk98d318LhSXsQ0RZrx1R+XSXlau/Cbx6+zOE2PdXFChoRMdGbNOL7//q9pObVTHXvu5ru+RQ0awR9gZq0DOdt4nuUpQOBKvOwPYWXbQ0JSk5o= Original-Received: from SJ0PR10MB5488.namprd10.prod.outlook.com (2603:10b6:a03:37e::19) by SJ2PR10MB7038.namprd10.prod.outlook.com (2603:10b6:a03:4c5::6) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6086.14; Sun, 5 Feb 2023 15:48:55 +0000 Original-Received: from SJ0PR10MB5488.namprd10.prod.outlook.com ([fe80::d353:3fb:94e4:18b9]) by SJ0PR10MB5488.namprd10.prod.outlook.com ([fe80::d353:3fb:94e4:18b9%7]) with mapi id 15.20.6086.014; Sun, 5 Feb 2023 15:48:54 +0000 Thread-Topic: [External] : Re: bug#61281: =?UTF-8?Q?=E2=80=9C`?=(a \, b)=?UTF-8?Q?=E2=80=9D?= equals to =?UTF-8?Q?=E2=80=9C`?=(a . , b)=?UTF-8?Q?=E2=80=9D?= Thread-Index: AQHZORrkJK800aRFoUOAkDJ3TtEhiq7AZSuQ In-Reply-To: <875ycghgv1.fsf@web.de> Accept-Language: en-US Content-Language: en-US x-ms-publictraffictype: Email x-ms-traffictypediagnostic: SJ0PR10MB5488:EE_|SJ2PR10MB7038:EE_ x-ms-office365-filtering-correlation-id: 6a4a3eeb-6bec-40f0-3eb8-08db07907c25 x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: VGjuBJtuVD2N2Us4CDfqLGhDDAG6Uutoql4winn4H3qlG8gGSyW0yAptFJfkXf6WM4rz7nyNdTNysggFBGFw5F45+JlrSF1SeyK9H8ARAiQ19uwcgX6wZM8xJxj1SRHxqAPoEm+7cIs89pEGdpyIcyzpLKjnRuXiW9ZgsXEWrDEGt7MIPz3SH4cc7W+asTnAz1n76RL9LP+9cy/2kUqq9bNGtSxnnn9o5XsLYh5iqXP6httl6ONZOB/guIVZsi1Kr/oYlFOMWnAbq0R88S8z0Dd2r2uZgHh/2AU76yZjKmWs5HSkkK5Y/3UtWI8S7Wd065RjQkZTcmFsuh2qt04z4dkxLI58ne7qDj+gvC5RHiJ6Pn0FQzkqONZr+NW+CIbrQPU9MmT4YLp6YgiFGKQRtldLh3CP+zGXhWM9Z2nz7aG3VQFcHqJ329MFGtUtqPn7mAEFWlna4TSBg5DoYpYAd0lWIJcRXTcRyJXyPtpfw2xmiUhDxhxUj8wEL/uxbnAHF91Nva0mjTJQXVnHYz/OPGmD9lAYqe9fZ++9pgu9RvNubz9XxTrqtCa4msajMGllRQ+CE8cOMaWomHlXDd/rBPWKpmo4/vHeam/1XWlQK6PxLU69xYATfzGcLT4ypkbjBAwhZ9n3lyVh686u6WN98G/g428aJghJYLEqzstudqF0Q9zQqpPj4poIrUIqdiiOrZQSBt+dOLQLtn8zGdiBHg== x-forefront-antispam-report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:; IPV:NLI; SFV:NSPM; H:SJ0PR10MB5488.namprd10.prod.outlook.com; PTR:; CAT:NONE; SFS:(13230025)(376002)(396003)(136003)(39860400002)(366004)(346002)(451199018)(6506007)(38070700005)(55016003)(316002)(478600001)(26005)(71200400001)(186003)(7696005)(9686003)(83380400001)(54906003)(33656002)(66946007)(66556008)(66476007)(66446008)(6916009)(4326008)(64756008)(76116006)(38100700002)(8936002)(5660300002)(52536014)(86362001)(122000001)(44832011)(41300700001)(2906002); DIR:OUT; SFP:1101; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: Jpx7jqwemW744ghMhG8WDAvuW6zeYrl8wBNqb1SZuZwbPCtU7F1LmqHoTTwT/APybln4bYFg/Icr80qrpwzMwDoF27m3Jka4L63jtGoGKdv0cATQVgvDDxqS8RqEx9Ek8LzSYBXDwtNkW4+B9+YmrvJay1r+jbsrPuyr1/ZnRRrWfvJjT48ThfxUsUrG3PG+sFobVzgg5R2oCuvslXLAwDUnFJBY3F10swo5IP9P9yveO7ufXsJuLw/28E09ywhkVO8OajXAeW1L84oeLULp7Od9+RhVbwnseRvQW0rN099roSM9og8EcfcnISbspGCqPU3Aq23+lN1PbhzaUZty1MOYdCWIjP2yzTNo+KIgPS1OEnbD6x9H0bFGVTt6B0jUEez8UkBCF/u6FgifCEVebA/5vnCNWHQmb6+nYd4JkeuLHeSCXpsyU747hlaiZYkzxe3ETp8gLLIndJNM2rKFp176Tilq/J/5Sr0EPKOTLfzAd5aLUduo7Zq4rh1LySViXnaFRhwaZV2D19EyKQFyKJHbpIgnncM41fANBPUyzj5sQ0zFGUXaWY3WplOE3Cs6EJgY6rDk5U7wOk2/jiMvgH3JeITpleYAtc5HQgkYJkKXu9MAuC5wTUZthqs5S9THkl8gU3lFDyBywRx+hOpW/tXJKfjEe4aZMm7NkuI0NJe4duceDpEfKrWYDGUMpb7E3EpFzogQTW8gVNLeMOOeD4zayBTzZ6l8Jqc6tiv2yN5UZBOELvFonka+td 9Ux7IJPR2nfp9BZpbluHo44X/hSuJDev9kege0EfK5L0gsQeuTb9YSp10pf0Yn07kIQ3zV5XQfja5QZQ3AcUztfFh7oFpUIVEn X-MS-Exchange-AntiSpam-ExternalHop-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-ExternalHop-MessageData-0: CGOkFOH+9gtThaJSEUchhtw6Y48iUMZiUlLSqdRnTYiiKSLDiODzbVOK6nvi/7f01DdmACFE+HlsQeYbjKKgRP2Pk7k+9xFbkZcPTE8dCG+gg2ehTIo4Ke+ABAxd67MVPrCpoOHSix5bgU20q9S8+5/X7s8VpNeIauiPEHQXyzBgVO5ugGW2ZW4nlqfXEYf++iwLramBHo2LB848t7D2sA5T4xqBCZKDGX0JKfGwtxBgm110p0Kq2wMytKBAnOvdF9+2VEpp0FPVN7bLNGLj+3Tykye3FBTPL28MPcFZK9w3BrTR7ApWDgsBGPUUUr9+ZMVSq1T2Io1PSt1dCNWt1kaEdAR6IOZNUHkrnIQI2kpvDwL8/Pw1Vc87Z7l4VAzt20XEWykg1k8Z1VP74rWuqWcfChl1jeuliVjpCcg7CF21D0cjHdGh2QnW827U2rRETfy+GbE7GDc3h+Aew+bhxZOGzRq9mbkdT9RmPgtM2f04+fzR6YNt5pbBZTK+a82h4QE+OfGAsOiO3FmMGfzpJgGwxIz42KTT0UJ5jCzY1E+2I6byBTB6j+fu5534ilfMMGoB3+gby3ReQuJn2kB2o2xG4BT39QQ18pSg0U5beW8R/7lFRcTaYGNzOQgBoUROWhUL4c66VUNXYDrJNz53K2/XttVl7irQ6/D/TTydczpmvDQduxQIT3HVzQ87rXFBvttbjnWCZggMtMjVazs0VR3wLRzXu4zjgD83wTIJ2s06qm u00qGwbJKmsr2SBVJ84emR+KPTOcx6sH0SUN73AocVjdM9PpDFBcJ7ojItwkn8p8I58gJJ4S7nJZkSwVcJ X-OriginatorOrg: oracle.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: SJ0PR10MB5488.namprd10.prod.outlook.com X-MS-Exchange-CrossTenant-Network-Message-Id: 6a4a3eeb-6bec-40f0-3eb8-08db07907c25 X-MS-Exchange-CrossTenant-originalarrivaltime: 05 Feb 2023 15:48:54.1919 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 4e2c6054-71cb-48f1-bd6c-3a9705aca71b X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: tbZZ+bPPATiqUIbPJSPGs0iuzTIHy1Ls2ltclOcUeerPZ7hktZo5IKc/BQyYlW8+w4MH2P+S+J1IQMIK7BudIg== X-MS-Exchange-Transport-CrossTenantHeadersStamped: SJ2PR10MB7038 X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.219,Aquarius:18.0.930,Hydra:6.0.562,FMLib:17.11.122.1 definitions=2023-02-05_04,2023-02-03_01,2022-06-22_01 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 bulkscore=0 mlxlogscore=900 malwarescore=0 adultscore=0 phishscore=0 suspectscore=0 mlxscore=0 spamscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2212070000 definitions=main-2302050136 X-Proofpoint-GUID: zTWmhcUgmHFnQ-YaL4QPIrqrFfxgfbhl X-Proofpoint-ORIG-GUID: zTWmhcUgmHFnQ-YaL4QPIrqrFfxgfbhl 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-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.emacs.bugs:254867 Archived-At: > > Yes, but see above. I think \, should be > > read as the symbol whose print name is ",". >=20 > That's the case. Inside a backquote, an escaped comma's handled as if it were unescaped. That's the bug. =20 > > To me, `(a \, b) should be treated like > > (a foo b): a list of 3 symbols - no evaluation. >=20 > No evaluation by backquote, you mean? I mean that \, is not (should not be) the same as comma whether inside or outside a backquote. It is (should be) only an UNescaped comma that (1) when inside backquote introduces evaluation of what follows it and (2) raises an error when not inside a backquote. > Yes, you need to say `(a ,'\, b). When I said "no evaluation" I meant that \, shouldn't cause evaluation inside backquote.=20 I wasn't talking about evaluating the symbol \, itself - I'm not interested in doing that. I'm talking about the special interpretation of \, here, i.e., its being handled just like an UNescaped comma, instead of just like any other symbol (e.g. foo). > Is this really different in other Lisps=20 > (isn't `,' a reader macro in Common Lisp)? It may be, dunno, but I'd bet that Common Lisp treats unescaped comma differently from escaped comma. I meant that reading \, should be like reading foo, whether inside backquote or not. The only thing that should introduce evaluation within a backquote is an UNescaped comma. \, is not , Dunno about the reader macro question. (But I'm guessing that the overall difference here is how the CL reader works, yes.) > I don't decide about this, but when we changed > the semantics of `,' like you suggest, we will > probably break a lot of code for no real gain > (I think the semantics in Elisp clear and easy > to understand), so this sounds like a very bad > idea to me. I'm not saying the bug should be fixed. I have the same concern you express. Not that I really think that "a lot of code" will break (I don't), but that (1) some code might depend on this behavior and so break, and (more importantly) (2) it's likely that the new code will introduce other (new) backquote bugs. There be dragons. What I expect is that the bug will be closed as "wont-fix". This should nevertheless be seen as a (minor) bug. It should be noted somewhere (at least called out in code comments). Whether it's important enough to merit mention in the Elisp manual, I don't know. Normally it's not, but someone actually stumbling on this would need to check the code to discover it and would need to recognize that it's a bug by design. File backquote.el says clearly at the outset: ;; When the Lisp reader sees `(...), it generates ;; (\` (...)). ;; ;; When it sees ,... inside such a backquote form, ;; it generates (\, ...). ;; ;; For ,@... it generates (\,@ ...). It's _good_ that it says this. That's a pretty clear description of the implementation / design. (Except that the use of (...) and ... in what the reader sees doesn't make clear what those stand for. Backquote applies to unparenthesized sexps also.) It could also usefully say that this doesn't provide exactly the usual Lisp backquote behavior. It could call out what we're talking about: _escaped_ comma is (wrongly) treated as unescaped comma inside a backquote. That's the design, AFAICT, and that's not the traditional behavior (IIRC).