Received: (at 72754) by debbugs.gnu.org; 24 Aug 2024 05:56:58 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sat Aug 24 01:56:58 2024 Received: from localhost ([127.0.0.1]:40278 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1shjlh-0002YU-Pq for submit <at> debbugs.gnu.org; Sat, 24 Aug 2024 01:56:58 -0400 Received: from mout.web.de ([212.227.17.11]:58669) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <michael_heerdegen@HIDDEN>) id 1shjlf-0002YH-Hp for 72754 <at> debbugs.gnu.org; Sat, 24 Aug 2024 01:56:56 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=web.de; s=s29768273; t=1724478953; x=1725083753; i=michael_heerdegen@HIDDEN; bh=E3mcE16Fty4WWh0C2b6EwiGtgYLgeBcwP6VBKFEVit4=; 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=Gyt0f9qUqRWM9tv8G0uPdzfEQCytQCc45Kr9J1MJJDjbV5n5p/DDLFmswXwPR6t2 gh8BMJ3FbNm+7N9CVbQfQ4CsisTizQqCYJwpFM/VQS2pluD9jQ0ehITk7P8XKmVCO JODWFwbW+C2LIccb18H9AB00/t21uWYwPKlKnlw2d5b4KC+PqUDn+hWgpeBiBbg01 lWXJO+iSKuZJr3Eqhk+Md944lPj+Ff7syUYgJbMEg3Ta30QgE9kRkEekl3UlZ9h0t HCn9pB2J38ppNSDDnjVH5+TQcB8bi7De/IR8+YSyAZsDeeGB2iOojmxlFUZjJr6mu FH6f/+1NnetyMoh07A== X-UI-Sender-Class: 814a7b36-bfc1-4dae-8640-3722d8ec6cd6 Received: from drachen.dragon ([84.59.210.176]) by smtp.web.de (mrweb105 [213.165.67.124]) with ESMTPSA (Nemesis) id 1MYtx4-1sdDUP1rRQ-00OfUt; Sat, 24 Aug 2024 07:55:53 +0200 From: Michael Heerdegen <michael_heerdegen@HIDDEN> To: Stefan Monnier <monnier@HIDDEN> Subject: Re: bug#72754: 31.0.50; Add a pcase-pattern-let? In-Reply-To: <jwvwmk8hei1.fsf-monnier+emacs@HIDDEN> (Stefan Monnier's message of "Thu, 22 Aug 2024 09:38:04 -0400") References: <875xrtwc0y.fsf@HIDDEN> <jwvwmk8hei1.fsf-monnier+emacs@HIDDEN> Date: Sat, 24 Aug 2024 07:56:44 +0200 Message-ID: <87ed6ev4yr.fsf@HIDDEN> User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain X-Provags-ID: V03:K1:IqlZfryK2pddGKRuAiXk17zCUDhWqf4ikqSkVU/J8ShCH2e0mLx 1siXOAs3eNK++PhnRcLk4nmbGBS/H2C3KONxP9Dv2oXMiqgZilPROjgfH9/ghvvNGc0Y72z 1FGHCm0klQk6LCfZzlK2DcEROEervs247nj6HbwRrcMMqZj/O3ECG2y0zCiqXkdPa7wkRTx J54eLus7UUbnZca1KDdQA== X-Spam-Flag: NO UI-OutboundReport: notjunk:1;M01:P0:mg4A4LRTuO0=;7CY3/D87/OPTTNQHYaXt0OdEWQ9 nLglpRTx/Tb09kDRhQZZOMTuev9D9uSRr5H4rJLwuuQfSa3n2DIQzlmyDHQuSrkyDFhHWS/cg 0OHMwGsBq1Licbm244+vGsHgdBjs98TnUC2xkw93E3zc1gWhsAi1BDfN7yG/2hJv+Fb3rhojn C9z3z9XUToWSkIfqHJ9y23fpNKxCuMzPNpVEezmi3Q7jC6aj6hu0PLXHHMzvrUyy2AfYQaB0T kDx333pB2Ki2oF3fDQWkIHbg34Uxu7ihlLutyB4i0T78Twe5n/yF5JwPUEyYuORL31vShl8sv wQfp9VFDIX0SbJnNEAQIe5wT/vX9pJY38mDDR7F0BuSXiekEQjwMV8P9DLiRmlP07+9TpsBhw JLpkoBNokF/wR4GACaG6S67EPuxK8w5+4LLr191fMCeqBiwfJU/rJ5D1Z7mr3xpexhBO4UWAN JupFo8rKqi437gh09fnP2brUfvhM4Ckm0qdBGjown/S1YceG8c8SK6Tmc+pzaGqfHhekVlCMl Lb7ME96J3FT1vlduyxg+YISrsqHT8zE4tLl8ciXjpVwpp4xsZUV9ZmJWNxhZ8ViHkrNPcHbEB n0tOLTVn+mOyuTpt1wuJ4vlCBUn7GytqzUXKEhUH5fyf7+5TMT62wW8pEjUYOfwrAAGHia2vS XKmvGKGb0AfG4t33okuGeTQ01UQZp+8lILn3gEpbrG2fbvovbX/IDGpS+C0W4C5kNEMwDaNw3 7Sk6QTdali9F4iL7NTUx9gkSqNFKA6Rl8hMT4bqOP3vUAf+vH2FgAu4zucNHZTzWfkFjLMhxP gaXSx3ImeA4qnnyUifRN6UqA== X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 72754 Cc: 72754 <at> debbugs.gnu.org X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -1.0 (-) Stefan Monnier <monnier@HIDDEN> writes: > > wouldn't it be a significant improvement and maybe a low hanging fruit > > to add a macro allowing to add local pattern definitions? I.e., like > > `macrolet' by for pcase patterns? > > I don't know how important/useful it would be, but yes it would make > a lot of sense. As a matter of fact, it's a general pattern which > recurs in all the packages which provide an extensible domain specific > language (peg.el, pcase.el, bindat.el, rx.el, gv.el, ...) and I'd like > to find a general solution. Makes sense, we could then also implement the dynamical docstring generation for all of these in a general way. As whole it's a bigger project, though. > It can also make sense to allow defining a set of extensions at one > place, and then make them available locally. Absolutely. If you want to give it a try, I'm here... Michael.
bug-gnu-emacs@HIDDEN:bug#72754; Package emacs.
Full text available.
Received: (at 72754) by debbugs.gnu.org; 22 Aug 2024 13:39:02 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Thu Aug 22 09:39:02 2024
Received: from localhost ([127.0.0.1]:37065 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1sh81m-0002Yi-32
for submit <at> debbugs.gnu.org; Thu, 22 Aug 2024 09:39:02 -0400
Received: from mailscanner.iro.umontreal.ca ([132.204.25.50]:64237)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <monnier@HIDDEN>) id 1sh81i-0002YG-NF
for 72754 <at> debbugs.gnu.org; Thu, 22 Aug 2024 09:39:00 -0400
Received: from pmg1.iro.umontreal.ca (localhost.localdomain [127.0.0.1])
by pmg1.iro.umontreal.ca (Proxmox) with ESMTP id 826E210017F;
Thu, 22 Aug 2024 09:38:06 -0400 (EDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=iro.umontreal.ca;
s=mail; t=1724333885;
bh=BdTFl/MHuPMccOLqGTVekIz/Db6e5U9az9KlRjtc2lU=;
h=From:To:Cc:Subject:In-Reply-To:References:Date:From;
b=RYP4tjF66P0xVSXzikzf+9rtYTdxjUrW5O62hWFg8b5To+0CdH9gus56s7S0JjZUx
e/pWFtrrCU/ENipMQEXUi2HK21bqjvQ+jZR7NhQ1G9L54AKRjKJagCvC42gbt0eu3U
X5Czrnt03vj4+gYYNuibsZsUgZPY3iuuv1hMuAc1amRA1UWZYCQKglYZG0x+AEWhP+
FS/M4lExqstwEW+HZoUfCN/7pDovsqqoZVelvQVlWHVbAZDHfBZpRrC1u+WHb75sY5
9x+ugsBVD0cEhWSdQINTWF76xDc65kbFv9gKOw0zL+CiWhUATYCUn4Od4+qzV4UPAB
POhZnF3IqZSPg==
Received: from mail01.iro.umontreal.ca (unknown [172.31.2.1])
by pmg1.iro.umontreal.ca (Proxmox) with ESMTP id 45EFF100044;
Thu, 22 Aug 2024 09:38:05 -0400 (EDT)
Received: from asado (unknown [23.233.149.155])
by mail01.iro.umontreal.ca (Postfix) with ESMTPSA id 2B3CC12067F;
Thu, 22 Aug 2024 09:38:05 -0400 (EDT)
From: Stefan Monnier <monnier@HIDDEN>
To: Michael Heerdegen <michael_heerdegen@HIDDEN>
Subject: Re: bug#72754: 31.0.50; Add a pcase-pattern-let?
In-Reply-To: <875xrtwc0y.fsf@HIDDEN> (Michael Heerdegen's message of "Thu, 22
Aug 2024 04:02:05 +0200")
Message-ID: <jwvwmk8hei1.fsf-monnier+emacs@HIDDEN>
References: <875xrtwc0y.fsf@HIDDEN>
Date: Thu, 22 Aug 2024 09:38:04 -0400
User-Agent: Gnus/5.13 (Gnus v5.13)
MIME-Version: 1.0
Content-Type: text/plain
X-SPAM-INFO: Spam detection results: 0
ALL_TRUSTED -1 Passed through trusted hosts only via SMTP
AWL -0.024 Adjusted score from AWL reputation of From: address
BAYES_00 -1.9 Bayes spam probability is 0 to 1%
DKIM_SIGNED 0.1 Message has a DKIM or DK signature,
not necessarily valid
DKIM_VALID -0.1 Message has at least one valid DKIM or DK signature
DKIM_VALID_AU -0.1 Message has a valid DKIM or DK signature from author's
domain
DKIM_VALID_EF -0.1 Message has a valid DKIM or DK signature from envelope-from
domain T_SCC_BODY_TEXT_LINE -0.01 -
X-SPAM-LEVEL:
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 72754
Cc: 72754 <at> debbugs.gnu.org
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -3.3 (---)
> wouldn't it be a significant improvement and maybe a low hanging fruit
> to add a macro allowing to add local pattern definitions? I.e., like
> `macrolet' by for pcase patterns?
I don't know how important/useful it would be, but yes it would make
a lot of sense. As a matter of fact, it's a general pattern which
recurs in all the packages which provide an extensible domain specific
language (peg.el, pcase.el, bindat.el, rx.el, gv.el, ...) and I'd like
to find a general solution.
It can also make sense to allow defining a set of extensions at one
place, and then make them available locally.
Stefan
bug-gnu-emacs@HIDDEN:bug#72754; Package emacs.
Full text available.Received: (at submit) by debbugs.gnu.org; 22 Aug 2024 02:02:10 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Wed Aug 21 22:02:10 2024 Received: from localhost ([127.0.0.1]:36503 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1sgx9O-0007rG-B4 for submit <at> debbugs.gnu.org; Wed, 21 Aug 2024 22:02:10 -0400 Received: from lists.gnu.org ([209.51.188.17]:38292) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <michael_heerdegen@HIDDEN>) id 1sgx9J-0007r6-Tu for submit <at> debbugs.gnu.org; Wed, 21 Aug 2024 22:02:09 -0400 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 <michael_heerdegen@HIDDEN>) id 1sgx8Z-0004pF-Fy for bug-gnu-emacs@HIDDEN; Wed, 21 Aug 2024 22:01:20 -0400 Received: from mout.web.de ([212.227.15.14]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <michael_heerdegen@HIDDEN>) id 1sgx8X-0001eG-EZ for bug-gnu-emacs@HIDDEN; Wed, 21 Aug 2024 22:01:19 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=web.de; s=s29768273; t=1724292072; x=1724896872; i=michael_heerdegen@HIDDEN; bh=VgqVuy716WT1Lv654q6xzOCSup26HQKsf/3O3iM5e2A=; h=X-UI-Sender-Class:From:To:Subject:Date:Message-ID:MIME-Version: Content-Type:cc:content-transfer-encoding:content-type:date:from: message-id:mime-version:reply-to:subject:to; b=cqizTXgrVMLX0Vr/xxYwXeofoiUxHYDNHN1cGSKsZbSlOnWhkvl7zMKS1NZHTOOk 6sEFWRpYGrFxn37BbZhHqqZIhO6gN+Rj2dpiNHARfcYnB/UHhhRibh+Kd+7DbWA05 GDVk9QC21QR364FNzC5eJEyPz21Ge3lpmwjZxnyMRuV460jR9bk5OGiXqkhMcZRMM 9qiYvikGISinrfPVpbrHhUgV3+aM7c8Dtt//o+yBmeAhyprh4kzFV9u+5+uVlkiJk QzeT5xF9Ntb0mUF56Y3TfaSYKpLbfVDqw6PF/j3USJ4FWIscf18BhO2AUMItCndBW o8FH0St+uLwWDPv7VA== X-UI-Sender-Class: 814a7b36-bfc1-4dae-8640-3722d8ec6cd6 Received: from drachen.dragon ([84.59.210.176]) by smtp.web.de (mrweb005 [213.165.67.108]) with ESMTPSA (Nemesis) id 1MwR4D-1rpGUH2gsP-0117p0 for <bug-gnu-emacs@HIDDEN>; Thu, 22 Aug 2024 04:01:12 +0200 From: Michael Heerdegen <michael_heerdegen@HIDDEN> To: bug-gnu-emacs@HIDDEN Subject: 31.0.50; Add a pcase-pattern-let? X-Debbugs-Cc: Stefan Monnier <monnier@HIDDEN> Date: Thu, 22 Aug 2024 04:02:05 +0200 Message-ID: <875xrtwc0y.fsf@HIDDEN> MIME-Version: 1.0 Content-Type: text/plain X-Provags-ID: V03:K1:0jrSJz8FaKohxj82zku7LSJWT0S83AdAIXR4DpiljfnQMuFl9w7 oVsOkNsB8+25nI6B4Naq59kxAQ449MDFHmm7zEfM47dO+HPWDMgnIi3uKdV8sVZNAbmPoiC IUrtew8puk+kskzV2YGHR9AJXINpm6MlAlm06uStDpnlYTutdJWN4x/aW+xwHwtxPAVTXZF nL+sDy1xMP4KLehGXtpIw== X-Spam-Flag: NO UI-OutboundReport: notjunk:1;M01:P0:AgpQObdvIkM=;miVi+uflQe3IGmiZFH9w1XmEkIp DY0qJ3nl/dio/NxQLfbOJClRVEnD+0BWiyWtqdH195Hx5Nnbrun2tT2Pv5hcb/QQzFxBy2Dic rf+3flx2QzGcwYH+vtyl3XEsPo4U3iKtM7So8FHYOM6uq4MiBiT2PbieYXKAAgWgL0i7dcCN5 ++T9bfiyfs+0xUurVCLzfEiRXiD1oo3RJ53PmG2wPwSGnRdJvOM9TPtXf60ZCin/aalXeyOa3 /y1pfznhFMXvxzlBaTlCYm9H24TZoBRs/OEhodXkTD6YgxJC8FtAsLj7Bex5SQZpKlNfLO0WK tnYq2naB/B30pIMunc75e9wJ7xNplN36EyGvSKZIxeq55uGSqsaXLTBSaSphHEFmGFmXadD/a qh3GY/NMjbPDkAilsEsPuycXFzqaataqVRcr31ahkjfr4rRsH7BPX+2BxJG0wuK43pt65SE4M fMBdQIojwpckAt0gSzdL8EYXeRy1rAv3VBgEdgRepNn6d6GurysFyiGcTVcW8gAkZNBNDm+PA Om4dbvTjEvsz+lJ/9q39/ronjkh8XCRQikARbBqpeASKNDck/S/3yAKIbTynGA0ObHIEeo+Em CM/gK9EboTnHDL4FH4GtSy9MXSAnGzVXxtY0FAj/LZDLaXWzmgQdsk1/Dzeq2AlmCeStkRu+7 JLOhhkDIf0yJOmCMBgL+484uf+cnJ56JNLjB+6/1ofJzSxxulWFvruoIIvfF8Ix4DR+8t5A5B JsPx4odAQZUYHb1cKFzlTcpwVXkiHrSLbplSMvARM3vAeyfqWMxcDmc5wO1yonAMNKiqyE0wC m6X01M3tk6Zp2cmqT9LyARjQ== Received-SPF: pass client-ip=212.227.15.14; envelope-from=michael_heerdegen@HIDDEN; helo=mout.web.de X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H3=0.001, RCVD_IN_MSPIKE_WL=0.001, RCVD_IN_VALIDITY_RPBL_BLOCKED=0.001, RCVD_IN_VALIDITY_SAFE_BLOCKED=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.3 (-) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -2.3 (--) Hello, wouldn't it be a significant improvement and maybe a low hanging fruit to add a macro allowing to add local pattern definitions? I.e., like `macrolet' by for pcase patterns? It could help to make larger patterns better readable, by factoring out long or repeatedly appearing patterns and giving them meaningful names. Without cluttering the global namespace. Maybe an implementation could be similar and as simple as that of `rx-let'? TIA, Michael.
Michael Heerdegen <michael_heerdegen@HIDDEN>:monnier@HIDDEN, bug-gnu-emacs@HIDDEN.
Full text available.monnier@HIDDEN, bug-gnu-emacs@HIDDEN:bug#72754; Package emacs.
Full text available.
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997 nCipher Corporation Ltd,
1994-97 Ian Jackson.