From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Stefan Monnier Newsgroups: gmane.emacs.devel Subject: Re: Installing cond* in core Date: Mon, 05 Feb 2024 07:39:36 -0500 Message-ID: References: Mime-Version: 1.0 Content-Type: text/plain Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="14871"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Cc: emacs-devel@gnu.org To: Richard Stallman Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Mon Feb 05 13:40:35 2024 Return-path: Envelope-to: ged-emacs-devel@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 1rWyH4-0003ev-HX for ged-emacs-devel@m.gmane-mx.org; Mon, 05 Feb 2024 13:40:34 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rWyGM-0000va-TG; Mon, 05 Feb 2024 07:39:50 -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 1rWyGH-0000vL-Lo for emacs-devel@gnu.org; Mon, 05 Feb 2024 07:39:46 -0500 Original-Received: from mailscanner.iro.umontreal.ca ([132.204.25.50]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rWyGF-0006mU-S7; Mon, 05 Feb 2024 07:39:45 -0500 Original-Received: from pmg1.iro.umontreal.ca (localhost.localdomain [127.0.0.1]) by pmg1.iro.umontreal.ca (Proxmox) with ESMTP id D8CEF100390; Mon, 5 Feb 2024 07:39:41 -0500 (EST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=iro.umontreal.ca; s=mail; t=1707136780; bh=wnCOdx+m4VlF92m7FtuLpsxDyYZASI7WS8HkxdmZKaU=; h=From:To:Cc:Subject:In-Reply-To:References:Date:From; b=HDKsDoUFdiYKIWQJdHH6ZRugUOBfdbSbCjrldJ1t5qiaC8vedHtfeVnVuD2xJMVId QeTdtMcdZJaPNaHlYR4ujehLsc7AFFOXscMXfw2RcKkAL0ICxappKcCBFeXFzmbrFA vrxfF7KtaQduD5pkbTrQ6n8UrQHc7vGs5cPx/9P12sa9ekXohI4ZPSo+U9kjAfPam+ /P8Ml4dfOT4VLocDh9DB2IcWAjLKqJRW1vbCGfDMhyQZ03GrWJdZemMttNXVGFzg8z qDA7WgPyZA1KuQjijL9GJ5OHnygCWC+OfM8kXc9RHGcJx9A0VhJWlXDrQQZ86ENM4M uGmEqMzLvKnuA== Original-Received: from mail01.iro.umontreal.ca (unknown [172.31.2.1]) by pmg1.iro.umontreal.ca (Proxmox) with ESMTP id 3EDE11002F1; Mon, 5 Feb 2024 07:39:40 -0500 (EST) Original-Received: from pastel (69-165-153-17.dsl.teksavvy.com [69.165.153.17]) by mail01.iro.umontreal.ca (Postfix) with ESMTPSA id 5C64A120E23; Mon, 5 Feb 2024 07:39:39 -0500 (EST) In-Reply-To: (Richard Stallman's message of "Sun, 04 Feb 2024 22:33:40 -0500") Received-SPF: pass client-ip=132.204.25.50; envelope-from=monnier@iro.umontreal.ca; helo=mailscanner.iro.umontreal.ca X-Spam_score_int: -42 X-Spam_score: -4.3 X-Spam_bar: ---- X-Spam_report: (-4.3 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, RCVD_IN_DNSWL_MED=-2.3, 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-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Original-Sender: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.emacs.devel:315885 Archived-At: > But there are also nonempty ni-exit clauses: > > > (cond* > > (:no-exit (match* PAT FORM) THEN) > > . ALWAYS) > > Can rewriting handle that? Most likely, yes, tho I have no idea what the above means and haven't seen the corresponding doc&code, so I can't guarantee it. Assuming it means "if PAT matches, execute THEN (with the corresponding bindings) for its side effects, and in all cases continue with ALWAYS without PAT's bindings", then it's just (progn (pcase FORM ((PAT THEN))) (cond* . ALWAYS)) so that would be trivial to add, of course. - Stefan