From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Michael Heerdegen via "Bug reports for GNU Emacs, the Swiss army knife of text editors" Newsgroups: gmane.emacs.bugs Subject: bug#72328: [PATCH] Nested backquote in pcase Date: Mon, 29 Jul 2024 22:45:08 +0200 Message-ID: <87y15kq65n.fsf@web.de> References: <87jzh62vtr.fsf@gmail.com> <877cd5k1ra.fsf@web.de> <871q3d347e.fsf@gmail.com> <877cd4rxqo.fsf@web.de> <87v80o14by.fsf@gmail.com> Reply-To: Michael Heerdegen Mime-Version: 1.0 Content-Type: text/plain Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="34674"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Cc: 72328@debbugs.gnu.org To: Thuna Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Tue Jul 30 05:21:05 2024 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 1sYdQ9-0008nJ-Ek for geb-bug-gnu-emacs@m.gmane-mx.org; Tue, 30 Jul 2024 05:21:05 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sYdPv-0006MB-5R; Mon, 29 Jul 2024 23:20:51 -0400 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 1sYdPt-0006Ku-5M for bug-gnu-emacs@gnu.org; Mon, 29 Jul 2024 23:20:49 -0400 Original-Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1sYdPs-0000aI-Mw for bug-gnu-emacs@gnu.org; Mon, 29 Jul 2024 23:20:48 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debbugs.gnu.org; s=debbugs-gnu-org; h=MIME-Version:Date:References:In-Reply-To:From:To:Subject; bh=rLVwuD50D1nug1Hwnyc3aYxBuaSAx4y461mfWTG/GSs=; b=k+Q8LZ1mOsJeHvDH2crb2HfwWN+HHrXAaHTs+ZChskCYp5a/jgFFicVUvbIhZsSB4pVtMADX6++IWpVpUad1XtJiOfS7sCvuBG/W3BWqEfhfnUvTk+7afQwxxSj3GXbdIq+LRPOAGExXB2EHJk3DDwM3cQ9T8nBepKN4NrHGpQSi3RgrPHC10UYEjTbA+vZlsig3rz41wnQR7NyKUCTJTRuP8z+j7+RxD3HR20XBPRQoYT+caEi6ySK1EnRY2ZoznU5sp9kTa4AIt3XsKONGPTQoBRUWOp04tW0tD7zso8g9pm6QtI01kaopz7hdoNIU6Rw6YsbAsQKK5ds3IIb2Jw==; Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sYdQ5-0006eF-P6 for bug-gnu-emacs@gnu.org; Mon, 29 Jul 2024 23:21:01 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Michael Heerdegen Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Tue, 30 Jul 2024 03:21:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 72328 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: patch Original-Received: via spool by 72328-submit@debbugs.gnu.org id=B72328.172230964225523 (code B ref 72328); Tue, 30 Jul 2024 03:21:01 +0000 Original-Received: (at 72328) by debbugs.gnu.org; 30 Jul 2024 03:20:42 +0000 Original-Received: from localhost ([127.0.0.1]:46504 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sYdPm-0006db-05 for submit@debbugs.gnu.org; Mon, 29 Jul 2024 23:20:42 -0400 Original-Received: from mout.web.de ([212.227.15.4]:40783) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sYdPj-0006dN-Te for 72328@debbugs.gnu.org; Mon, 29 Jul 2024 23:20:40 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=web.de; s=s29768273; t=1722309619; x=1722914419; i=michael_heerdegen@web.de; bh=rLVwuD50D1nug1Hwnyc3aYxBuaSAx4y461mfWTG/GSs=; h=X-UI-Sender-Class:From:To:Cc:Subject:In-Reply-To:References:Date: Message-ID:MIME-Version:Content-Type:cc:content-transfer-encoding: content-type:date:from:message-id:mime-version:reply-to:subject: to; b=c9eWQepv/+JlzlU/HjCfikuv+9l4N2/JUvBovZDoOQsHOsY00pLsUHBrvOA1Whqd 1zOjezlhit13SHO8UWuvDRnCAE260wWzAHT2pF3aq0beHlCIpDEBcIUM50Y+m0j1S c9Pp9PsMgmZCbPtTfPQ3pSOlz5kWQcQYNIEUYTxq1sielc0+J5REjqkMx2/Tv7rDu g3G2pWQhJcs/YhurNVrj9elXirSjrxtWqYPcS2w2p4132N1t1AQ0aPqEHR96qUm1E qgq6PLuL/n+XCSx9gwkCpq8n0gjwrI8EImw3ycE85jLCNVrnhFf8tosPOmzs41Dbj muc9k6ph59BPszphow== X-UI-Sender-Class: 814a7b36-bfc1-4dae-8640-3722d8ec6cd6 Original-Received: from drachen.dragon ([84.59.210.113]) by smtp.web.de (mrweb005 [213.165.67.108]) with ESMTPSA (Nemesis) id 1MQPdl-1suAiY1spd-00RlkX; Mon, 29 Jul 2024 22:44:19 +0200 In-Reply-To: <87v80o14by.fsf@gmail.com> (Thuna's message of "Mon, 29 Jul 2024 19:43:45 +0200") X-Provags-ID: V03:K1:jkkx1pEbKac8ALsvFku2Uvs+5QojNkYKP0s5+5DSVGzcvmnx0s8 KqeY8R8/fmmwIm5OqGdKx9ExIwKcx3ZQ5KjUiMFwz+ZmCG5y1TSK4Z1g9lj/5oGchd0y0rn 7v3wzoiANC6Pz9Brm0dbbZFVdNhfPW7Hf2Vo8wVo4nbrYe75+ro82K55wSqumm6E9EUiKCN 46B30YPxOLJJmCnOUd3ag== UI-OutboundReport: notjunk:1;M01:P0:EZHCSt3MqOI=;J+UP6b/XhMKe6u9GV6/v+9CuUZH xA2Uh1Nwi+b5nNRkMKRKPX/z3VkBbQxXER49u7QEa+oUOssAgaXEV8vQnickEYIIxF54JKPOQ oznw+b0WV6Bf9GEHYLwUeCwiMYZWXSphNai9ZRh4rsdpOeujt9KUTLIOk5ScVBg5loZaeTvdz ynsBRcA7nxVBL1OcwVYkQiKKPclrcHr4TJf/lkTbGe2MtpGIWdKyG08c7oKu+rwjqDxRSBOhP AeeO/WBIQgzPEbnphl4RwAloLNDZyvB6fVS1m4opRd8BHmQqasw1IYKUkETJuIBNTNNgmjBUT ikiVMblfDE2mpiHQHv2HY4SMmTyXym/j4Kl0mjuJ28WS/w9VC1UMpqLBOzKju2BOjjTxwZo/o XMK5GF7qWxjXDA+lbLLzfAsQNda+ceelnG7706WfSAaO6YpGzmYOiMosJlYKfzgwObP32nsku eHG56m+VXtxOS1qS1l4zeougKt/TTxiv5JEjmLoT8L+qeJSlZcIRLcFktj0rM8f75Sk2rHgyU ppGklZ7Ps5Dd59zAfra0lQPU7nbpF/vKvX/3JVSt43BPPDTcpcpphQAWfYX5LnLzX+HYJdVqU 0agjc8PJoYQUo88wM445L7s2pKUsJzN34uEYFH+ZhPb8RzfMJZntF3mT180S8mZ543qKUnqHa x7IovEqfPg3E0Uj2kFN+AYcBrAoNIdg07UymPOMZUF4Q7bAP1KSS7pstxvEVDrFFiPkaELomX TaQqtpwsEXlJTCLw91BZQDJcCiMGFiwh1H/45hhVZm1s44H63YJENoAI8VVYRaatRg8G2Nxu 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:289542 Archived-At: Thuna writes: > I feel like there is a possible misunderstanding. I am not preventing a > backquote pattern from going deeper into a list. Your example would > remain perfectly consistent under the new behavior. What *wouldn't*, > however, is something like > > (let ((a 1) (b 2)) > (pcase `(69 foo `(,bar ,,a ((,,b)))) > (`(69 foo `(,bar ,,a ((,,b)))) > (list a b)))) Ok - so backquote the macro handles nested invocations of backquote specially (the nested calls are not expanded individually, only the outermost backquote expression gets expanded), while the pcase' backquote implementation is backquote agnostic, it currently treats it like any random symbol. Your patch tries to adapt pcase backquote to the backquote macro semantics. Correct? If there aren't any downsides then this makes a lot of sense and would be a good thing to do indeed. Let's wait for Stefan then. Michael.