From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Michael Heerdegen Newsgroups: gmane.emacs.devel Subject: Re: pcase-if-let? Date: Thu, 29 Mar 2018 07:24:59 +0200 Message-ID: <87woxvh2s4.fsf@web.de> References: <871sg3eqi5.fsf@web.de> <0e8139b0-b59c-1d7e-29db-66170858f8ca@lanl.gov> <87woxvd947.fsf@web.de> <87605filw6.fsf@web.de> <60dc117a-7ee2-42d2-acbc-49dae9ec6ae1@default> <871sg3ijgf.fsf@web.de> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: blaine.gmane.org 1522301001 23857 195.159.176.226 (29 Mar 2018 05:23:21 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Thu, 29 Mar 2018 05:23:21 +0000 (UTC) User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) Cc: emacs-devel@gnu.org To: Stefan Monnier Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Thu Mar 29 07:23:17 2018 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1f1Q1r-00061Z-9w for ged-emacs-devel@m.gmane.org; Thu, 29 Mar 2018 07:23:15 +0200 Original-Received: from localhost ([::1]:48404 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1f1Q3s-0004uS-Ib for ged-emacs-devel@m.gmane.org; Thu, 29 Mar 2018 01:25:20 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:45837) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1f1Q3j-0004tE-GK for emacs-devel@gnu.org; Thu, 29 Mar 2018 01:25:12 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1f1Q3g-0001bF-A9 for emacs-devel@gnu.org; Thu, 29 Mar 2018 01:25:11 -0400 Original-Received: from mout.web.de ([212.227.15.3]:58667) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1f1Q3g-0001av-04 for emacs-devel@gnu.org; Thu, 29 Mar 2018 01:25:08 -0400 Original-Received: from drachen.dragon ([88.75.99.135]) by smtp.web.de (mrweb002 [213.165.67.108]) with ESMTPSA (Nemesis) id 0MPH2u-1ex0DF0yH2-004U90; Thu, 29 Mar 2018 07:25:01 +0200 In-Reply-To: (Stefan Monnier's message of "Thu, 29 Mar 2018 00:53:29 -0400") X-Provags-ID: V03:K0:866kHMdf6LHlRtxjFA1LXglCDJv1SUXbWnxisY6yPv/SJVs6TzV 0aKZhtFJeiEN9FI/0EdMpI85Hi1Z38f/Sojkuvl+VD12nMYswNBUgsTfGOF/1M3Cv2U5iuC KGJMys1u6YbBW0HcT9MPso5mtjQU7K/D0VIYm3s6oaTi+j9DV7DB+owT2XTALsTjU/3uFNe GiWCunIQdwTIhNd92fr1g== X-UI-Out-Filterresults: notjunk:1;V01:K0:MFXRLqgJ7fU=:DbFYpPByQFKXuoIsf/EvzE EBmKUPhlKSiUI8bMr/FMTXXkho98QJZ/L5ebL5xWMXzWmJ/9IjWjTIyZV3yTATt7dwIITJcbS Dj49u6lVp7WqyO0x6zaZtOFZOK7mVkkqPlrRnTpNC2X8QlMs2Gt3Xy2AXtPcOPck3/yWrXozx hQnPSfcPWMv8Hp78oLROCNF6pMdMloNgEkpb7mvLYHAo7SLYQYxnY01K/EVLE+gsTP6c/wgwc pXg/GSP4iRYRwutPtFLzXJ9f9cqeqHiz1CLddzQd9Xb7iysT8woN4R79+ISxFT/OuvSHIYB5t PRhfDqYvDPi6YHFeq0lQGIW9tEDo/tGmK1dgyuOk8t+A7H3lXGpO5DaNb/4LqvueEweMhPZhL lXZKYS/NJRpKUtqVk//9MAFXzoPiQErF5YaO4i17HAqd6fO/Vn8uJZHtD1f20LUmmsGNqTlVT nYjvo0RTj9Jbh7hePAhexCNSSUi7GgW/T8SgEySKWEMiq34LlVk+0OoRw1rcgvCIkBUa9GY3n 0eu26eXkkIo6YpTWH4kj6NXmV2dHy+MzK+lGrX+WPsip0tKyyQYeW2GrQ25ddpZ4MUy/uQ/OV cu5dugXdvu0HDItuxqRdA1AXcE40BmulVKh3Ch0DyCk3AfBB/+kS8xb1Tqq9leIJUL2KzWF3T KcqIxvneZawQT8aeDDNnt4d7Xnz5GFFhDtDN0Y9R3G4bBdph5pv7lsOJq742WMwjqXhnT9wte FVykhJWZb1PAOJ99txeZU6d7uNvH0eGkAhTsEulNyLb2Y7GGLIp84ItBWxwOzqHxFENLgAmF X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] [fuzzy] X-Received-From: 212.227.15.3 X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.21 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.org@gnu.org Original-Sender: "Emacs-devel" Xref: news.gmane.org gmane.emacs.devel:224139 Archived-At: Stefan Monnier writes: > FWIW, I'm a bit worried about this case: it's not like this pcase-if > is a "pcase version of some existing construct", so if we ever want to > get rid of the "pcase-" prefix on it, we'll have to invent a new name > for it. True. But "pif" sounds too funny...we need to find a different name. > PS: Regarding the "unorthodox" shape of the pcase construct, you could > generate an expression of the form (pcase (list E1 E2 ...) ((list P1 P2 > ...) THEN) (_ ELSE)). What's `list' - a new pattern type? If you write it like this, it looks like parallel matching of the Pi patterns, though we need to match in order for i=1,... Michael.