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: Mon, 6 Feb 2023 05:01:31 +0000 Message-ID: References: <87ilgfsaav.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="2667"; mail-complaints-to="usenet@ciao.gmane.io" Cc: "61281@debbugs.gnu.org" <61281@debbugs.gnu.org> To: Michael Heerdegen , Xie Shynur Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Mon Feb 06 06:02:28 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 1pOte7-0000Of-60 for geb-bug-gnu-emacs@m.gmane-mx.org; Mon, 06 Feb 2023 06:02:27 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pOtdv-0000sW-2c; Mon, 06 Feb 2023 00:02:15 -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 1pOtdl-0000pr-Bf for bug-gnu-emacs@gnu.org; Mon, 06 Feb 2023 00:02:06 -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 1pOtdi-0004QJ-Bx for bug-gnu-emacs@gnu.org; Mon, 06 Feb 2023 00:02:03 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1pOtdh-0002Ia-RV for bug-gnu-emacs@gnu.org; Mon, 06 Feb 2023 00:02: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, 06 Feb 2023 05:02: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.16756597008805 (code B ref 61281); Mon, 06 Feb 2023 05:02:01 +0000 Original-Received: (at 61281) by debbugs.gnu.org; 6 Feb 2023 05:01:40 +0000 Original-Received: from localhost ([127.0.0.1]:47142 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pOtdM-0002Hx-99 for submit@debbugs.gnu.org; Mon, 06 Feb 2023 00:01:40 -0500 Original-Received: from mx0a-00069f02.pphosted.com ([205.220.165.32]:19028) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pOtdI-0002Hk-RW for 61281@debbugs.gnu.org; Mon, 06 Feb 2023 00:01:38 -0500 Original-Received: from pps.filterd (m0246629.ppops.net [127.0.0.1]) by mx0b-00069f02.pphosted.com (8.17.1.19/8.17.1.19) with ESMTP id 315N6cvu019961; Mon, 6 Feb 2023 05:01:34 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=9fP+ZwuWAoZGJhgHbFQT3wtbnbI80J2gmH6xnjpruh0=; b=lL3urjezANOLJm+MkgF/lZLRYNI2ifCky4BbsDlAB5i0h7GE7azocjYAJsadj1r2rzDp JBJo8Uil3qOL+sqAxe4XLdGFMUkjRnEo08Suv/FSKCn6g/49AFaGVN4TEqV+7vTsM9ph nslX7UL7L1tf4KyRp/xmqeu6xO/o/DzED6TuONAA3Q5p457covjx3sGBgBRHhd4lBHME p0UITL0IPSjgy3/PtixO3jIIsMlA6BlohpuyCHlZlMsSnwuc6SBwoc5BuRCx+IwEzWCA fnu++xPgfI4SCKxzL/8xG43q4d8LOSqewppfYkl65jkAftsfe1UCJPQKaKKWQ15x70+B pw== Original-Received: from phxpaimrmta02.imrmtpd1.prodappphxaev1.oraclevcn.com (phxpaimrmta02.appoci.oracle.com [147.154.114.232]) by mx0b-00069f02.pphosted.com (PPS) with ESMTPS id 3nhf8a1ynv-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Mon, 06 Feb 2023 05:01:34 +0000 Original-Received: from pps.filterd (phxpaimrmta02.imrmtpd1.prodappphxaev1.oraclevcn.com [127.0.0.1]) by phxpaimrmta02.imrmtpd1.prodappphxaev1.oraclevcn.com (8.17.1.5/8.17.1.5) with ESMTP id 3162FrWo021011; Mon, 6 Feb 2023 05:01:34 GMT Original-Received: from nam12-bn8-obe.outbound.protection.outlook.com (mail-bn8nam12lp2174.outbound.protection.outlook.com [104.47.55.174]) by phxpaimrmta02.imrmtpd1.prodappphxaev1.oraclevcn.com (PPS) with ESMTPS id 3nhdt3jy1h-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Mon, 06 Feb 2023 05:01:33 +0000 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=Dec+aBGxsjzfjDOUdrsu35P7bM/awCBKmhqly88SsE/2RfRtLxLbSJG3ixpfnqb0moONwlR8vficWURCNiETkKjBu+glaUmZNhaCT+3wCCqoS9yw4mP/0SZTCAbGeJD0Nkcyo10zHgleCJoi7oV/69PGumeEs4ZRZ3k85nmyU3NG/NQy6/gTA093e1rBIvm8ZyXxd+FFTbtISVDEpGeO8OHas7Jkbe7uSgwP7K0pcyt9zJz+LxL/xAN4xx0P1z+PUKUU4KQoVfaz3sktVPpT9H6ZswnQW1OKNpe30Ne6mtwfj3hKnaVPMIjOU0LXMjb4pV9MpFFQ1QskWr5siqCF+A== 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=9fP+ZwuWAoZGJhgHbFQT3wtbnbI80J2gmH6xnjpruh0=; b=JvEim/nKbtMtWYBFxq+Etgw//mGf253MYb75kFWGz0F5GaOLEXtshxPybu8VurjFmxZlId7HZc6/Dfb7V7RqAWOKl/jy8j44+lVfGYAI0hRqAUXZbkUpNkB0oFSwE1Pu0J853tAmGD8At1Ug+AjEcNg6isauIbYwfZMnuZ1GkSKH7B/L9vrJ1gVE+w1cmO/V6W8u6U7UoF3mRUaVjmtPrNnCNIBsLjLG7noKZgp/6apEzT15SKnFfc1u+B+vymgcIglkt+wCCCRyoI3rdg1HB69Lj8cDk9UknY3Iro2mSU0a2icZlZp1Qoxi6nH/0aJCZzjYZ+LlyZSFM6Fwy+DWqA== 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=9fP+ZwuWAoZGJhgHbFQT3wtbnbI80J2gmH6xnjpruh0=; b=Gp7wTuOgTW6fziiXa8UMmZjsLHal+tqYBpPdOeKCxNlTLJ6fRORLH7zmoe/FW34KTjgg6X0yTnwUMgwexfBRTaUcW+qh8/VRCGFWmfyLQpLUw2m+oRfF74537tt3sGp5Ivv6OB75VmzsK7hI90bpbKd3/I8wljRWvY1Vhi8+pcg= Original-Received: from SJ0PR10MB5488.namprd10.prod.outlook.com (2603:10b6:a03:37e::19) by SJ0PR10MB6422.namprd10.prod.outlook.com (2603:10b6:a03:44c::14) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6086.9; Mon, 6 Feb 2023 05:01:31 +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.015; Mon, 6 Feb 2023 05:01:31 +0000 Thread-Topic: [External] : 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: AQHZOeE6PuIQWBy1dkadjS3408cZJq7BVR5w In-Reply-To: <87ilgfsaav.fsf@web.de> Accept-Language: en-US Content-Language: en-US x-ms-publictraffictype: Email x-ms-traffictypediagnostic: SJ0PR10MB5488:EE_|SJ0PR10MB6422:EE_ x-ms-office365-filtering-correlation-id: 52398642-c8f6-44bb-11c7-08db07ff3677 x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: mvjFPQUVTw3DyBasgcUPEaNlhFwp6hx+O6tQBvO9toVuZjoJVbeI1DJJF3V/S3+fBeI8tHcUzFzgaVxk3Ttrx7XPU7/SZLRtSPKA2sAYOSfG+uwmtkYm+twny/4U3X7ciHwaJU3FBMWQ9+mQ3GfhRobu0g6r/YYSodWFmkP2b3wNtZ0MdYiUdoSw+IkFUSZduivoiNC65D7qk00QhmNfs14njkO/kitLnp+lCozA8zWudijoe15p0SnrOCBpGxl32JWENQjmhsej3AORqzrbUliM34kWXdCvFSVzh68nExlzqfnrQN8d9bDiR4T7EwBuq41hOs+5G0C8JPaam0W2f53E8xMyCYJ5TO6WeYZ8WpStSvgwIH0hdsqn3SGOUVoEDl8NFSRusaiUcdt1ZbKm0SbcrqtgW+mcDispBgvbQL5+SeReGCWOx9RZoEdbBCyAyLLREIo7KFsfuBJIC8ehI6XtgcuS2/rNVCpVqoADWi8qATXRWOy0X9ZBS7LJC+sTrvABAht92ImYUV92EtqS3EKOF8n7m0H9a2AFYZ6v+LN5d0tH4SHEYvGx92awIYhNF5jOxZrRQaxWPNQ2DVw7J5I65OdcBfgc64XNloVfByet2J0PhShrvXbeSGxdx8qkcL+g5bd1VLzchulk327g6i9ZUnZbUP+yp08S7AL/iTZ7q+8m39yvDGf5G1fvbEVeVvXKtpEYjFa+Ty243jMCHA== 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)(136003)(396003)(39860400002)(346002)(366004)(376002)(451199018)(66446008)(66946007)(66556008)(64756008)(66476007)(122000001)(76116006)(38100700002)(7696005)(86362001)(4326008)(71200400001)(110136005)(55016003)(316002)(44832011)(83380400001)(33656002)(8936002)(52536014)(5660300002)(2906002)(6506007)(41300700001)(38070700005)(186003)(26005)(9686003)(478600001); DIR:OUT; SFP:1101; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: QlhsuWr3y5FzM48VvVIwt7OeANyYyqhUnsP9bYT/Y5cysQ4xTx6s2FAcn/57hduQTls8f4w1qNrpCUI2VutB4dyYpRCDxIIPDZalOySSbuIW0ZQeeXEBpFXnKmdnqj1JcbNhD2SU5Q3Y3D7ZGVnBMvtq0amxQU/z1c7AEM3ynN50NXv6GofiyXWI8BfgDkhZkt2eVt/UMX8aqitYlTisAkphUSI3vOQbBW5yeqVh8KYvkokeGgqt/mZzr/w49WQRVNX/frnU5W3U0cZNUGOmBnU/ZEPfVHV6GAS/+JHKAmkI58H/KOnDfCCMs6zRp8IFOUbsQbwiuiLC1Hc2aZHJ4YLrmZOi9c+Au8jv3sRHT+WKMbdn9Ubvi27EE5zNBoR2OOQsrWcTzNsvqtTHA2Kq0wUTHgo3taZ8bUfpVS2RG3JcJ/nq60fbxz4LTshjAO+igtt4c7DA+qO+O0fCC01MOapZms2dvn2QsNyVFYp5KBo/ojhQoSCeOBfu0dg/3aTG0lESKSMS3jaNyJlVl3FZHGqqjiN4Z6Awju12MmGG1kMbe4ibz/obJjSpIS6FwMO95LOPworITi/Na1c6pQVobWQ0cyP6ZY295ICr8dTeTd6167PYYX0AAcr7RIiavw/3+suJy+QfwGiIejqKyAksFDCnGzxVNQUAZCxjP+LC06YPaCcZZS5j/Zm11juhGcRcT3W0tA3FqC/M/hFLboMbOOQorpEuKgqEFNIW+9XZTmvZhwtGM75r3UAXtE 3vjojP6xOwtUr+Mhw/gU6/1TdtI86Qr9N2NtNjIX9N1wgQiHmORH20/5cQY645M0whco5rQp+nh8E7NBItobUNatW1V+ZiKa8T X-MS-Exchange-AntiSpam-ExternalHop-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-ExternalHop-MessageData-0: rgjEhO7F/rU2ZMMUJdo9dwrxeyfzNC8RSoIsDZ1tUMjzUys1T7dRlFYxvLI+jryggYFLfqkjgawY477ND6en2toX4BTM0hdVHdfD9WPlP/nV0XuIEUqnzaYv9HW14ggWZ3phkv9anKNxATbL9GjGogFGbtAUs8nGo2FU0bmvJUWG9+CkOze7XHyy7bISCgSTa3yHCPirZ07xqKJqY+/eNsGqO93vwf4HRrc1xODWGTr162GMPHLFjJxV/ye5hL1na3LXI7h+2WkFB0pteoD7nhk2jH7MEq5+N8//3Ga2PfAhTz/bGsUO6XgOdSaI1/jI4Cd6u1S157f9oAW+gSc+LjOarqZaqrcg2NzJb+N3CexpFi9GfTGrEvlpSisUBx5EzHQhs/DK+Zw8H6cbE+uu1m4bgiMiFwYVrdXiCO6ikF7DGMsZGx8UTeGFtDzTNitNMTkTPSLyPKs8SXzUTlIqfhWGdipUK+KqMTvZ/tiWgxVui8gBugMLmb7nsQ3+i+gq9cHpK58NMXvkXvcb78CJ3/L8JvJPkAGlUW8pUb/BUOv1hXwt6ZuH3xsXOW6wbGONOV5vm0ItvC+gtSCXkX5zcHpxX54j4XeGkkju7E0Lakh1MZMTFJFNyhF73113aK/6dxvvTlgOVWhWGe/SG3wttkila+NA1ceVZ5y7xmEM8pWXCv2ZCZQqN5RPggS9mEEXc9Ozu60NLLCXgdkUoEwJD3df99LRZbDdGRnI+dnUh/FLHz dB8RiY6L7gbFZ0cPs78zKCEUwidY+LLuWput50E66ICm99WCS7uIguKwuQRW5j63eU/jHTr4UHBRWwC+cS 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: 52398642-c8f6-44bb-11c7-08db07ff3677 X-MS-Exchange-CrossTenant-originalarrivaltime: 06 Feb 2023 05:01:31.4728 (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: jmhxXCdhPmJZej05SFy6nxeZPkwU8SRhE/sWGL5TVyb3qHrhpPvbyXrOknF175OaU5YTaQm/pvQCeJNL+gELiQ== X-MS-Exchange-Transport-CrossTenantHeadersStamped: SJ0PR10MB6422 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-06_02,2023-02-03_01,2022-06-22_01 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 suspectscore=0 bulkscore=0 malwarescore=0 mlxscore=0 mlxlogscore=240 adultscore=0 spamscore=0 phishscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2212070000 definitions=main-2302060043 X-Proofpoint-ORIG-GUID: ouMAW4Q7CsfiVV6141KtxtkfDClK6qcj X-Proofpoint-GUID: ouMAW4Q7CsfiVV6141KtxtkfDClK6qcj 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:254931 Archived-At: > (2) We should (in the recently added function docstrings and the manual) > explain that the reader constructs `X, ,X and ,@X are expanded to (or > equivalent to) (\` X), (\, X) and (\,@ X) respectively, where the cars > are the symbols with the names "`", "," and ",@". Yes and no, no? I see a difference between escaped comma and escaped comma before @. The above "are expanded to" doesn't cover this, I think. For example: `(a ,@ foo) ; =3D=3D> (a 4 5) `(a \,@foo) ; =3D=3D> (a \,@ foo) - good `(a \,@ foo) ; =3D=3D> (a \,@ foo) - good `(a , foo) ; =3D=3D> (a 4 5) `(a \,foo) ; =3D=3D> (a \,foo) - good `(a \, foo) ; =3D=3D> (a 4 5) - bad, the bug case The \,@ cases and the \,foo case "work" because \, immediately followed by any escaped char or unescaped whitespace etc. works. It's only \, followed by unescaped whitespace etc. that doesn't work. > While this is an implementation detail, not knowing about that fact > leaves the semantics of expressions like above unclear, which is not > good. Agreed, but I don't think just describing those expansions that way is sufficient. For one thing, what's X? Whether certain chars follow the comma immediately makes a difference. > (3) Fix the header in backquote.el as suggested by Drew, e.g. like this: +;; When the Lisp reader sees `X it generates (\` X). +;; When it sees ,X it generates (\, X). For ,@X it generates +;; (\,@ X). I don't think that's sufficient - see above. ,X and ,@X aren't handled the same, and it matters what X is. X is not necessarily a new sexp.