From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Stefan Kangas Newsgroups: gmane.emacs.bugs Subject: bug#24362: 25.1.50; Inconsistent docstring between pcase-let and pcase-let* Date: Fri, 08 Nov 2019 04:43:45 +0100 Message-ID: <87a797vxqm.fsf@marxist.se> References: Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="79812"; mail-complaints-to="usenet@blaine.gmane.org" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) Cc: 24362-done@debbugs.gnu.org To: Chunyang Xu Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Fri Nov 08 04:44:26 2019 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([209.51.188.17]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1iSvCD-000Kd2-Cc for geb-bug-gnu-emacs@m.gmane.org; Fri, 08 Nov 2019 04:44:26 +0100 Original-Received: from localhost ([::1]:49542 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iSvCC-0003m1-3z for geb-bug-gnu-emacs@m.gmane.org; Thu, 07 Nov 2019 22:44:24 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:34237) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iSvBr-0003gW-Dj for bug-gnu-emacs@gnu.org; Thu, 07 Nov 2019 22:44:04 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1iSvBq-0005iC-9q for bug-gnu-emacs@gnu.org; Thu, 07 Nov 2019 22:44:03 -0500 Original-Received: from debbugs.gnu.org ([209.51.188.43]:35510) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1iSvBq-0005hw-52 for bug-gnu-emacs@gnu.org; Thu, 07 Nov 2019 22:44:02 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1iSvBq-0003cD-32 for bug-gnu-emacs@gnu.org; Thu, 07 Nov 2019 22:44:02 -0500 Resent-From: Stefan Kangas Original-Sender: "Debbugs-submit" Resent-To: bug-gnu-emacs@gnu.org Resent-Date: Fri, 08 Nov 2019 03:44:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: cc-closed 24362 X-GNU-PR-Package: emacs Mail-Followup-To: 24362@debbugs.gnu.org, stefan@marxist.se, xuchunyang.me@gmail.com Original-Received: via spool by 24362-done@debbugs.gnu.org id=D24362.157318463613876 (code D ref 24362); Fri, 08 Nov 2019 03:44:01 +0000 Original-Received: (at 24362-done) by debbugs.gnu.org; 8 Nov 2019 03:43:56 +0000 Original-Received: from localhost ([127.0.0.1]:44329 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iSvBk-0003bk-Jx for submit@debbugs.gnu.org; Thu, 07 Nov 2019 22:43:56 -0500 Original-Received: from host.gofardesign.uk ([208.79.239.190]:43696) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iSvBi-0003bW-HH for 24362-done@debbugs.gnu.org; Thu, 07 Nov 2019 22:43:54 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=marxist.se; s=default; h=Content-Transfer-Encoding:Content-Type:MIME-Version:Message-ID: Date:References:In-Reply-To:Subject:Cc:To:From:Sender:Reply-To:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:List-Id:List-Help:List-Unsubscribe:List-Subscribe: List-Post:List-Owner:List-Archive; bh=gDXVsjOK43VCm+W1bV3qwdvdqOYsyBf/JS4NBvmGQvM=; b=WFP4Y5FrQl2OSSpU31Q9buCsYL lxKAbFSvCs3ReaSrJgacpdQLKOqSxqX/fKTRie4Qt/YfRFBXvJdo+mZRNx/dRwE0hWs2AoIALYxiq nODFFd16pJ1RV5rZjgac7zvqZ+y8nJyiDsJHg3Lj5bp7DuNRyYK2OL/FyhqjVhkuB050=; Original-Received: from h-70-69.a785.priv.bahnhof.se ([155.4.70.69]:37796 helo=localhost) by host.gofardesign.uk with esmtpsa (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (Exim 4.92) (envelope-from ) id 1iSvBb-00057v-AA; Thu, 07 Nov 2019 21:43:49 -0600 In-Reply-To: (Chunyang Xu's message of "Sun, 04 Sep 2016 12:26:05 +0800") X-OutGoing-Spam-Status: No, score=-1.0 X-AntiAbuse: This header was added to track abuse, please include it with any abuse report X-AntiAbuse: Primary Hostname - host.gofardesign.uk X-AntiAbuse: Original Domain - debbugs.gnu.org X-AntiAbuse: Originator/Caller UID/GID - [47 12] / [47 12] X-AntiAbuse: Sender Address Domain - marxist.se X-Get-Message-Sender-Via: host.gofardesign.uk: authenticated_id: stefan@marxist.se X-Authenticated-Sender: host.gofardesign.uk: stefan@marxist.se X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 209.51.188.43 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.org@gnu.org Original-Sender: "bug-gnu-emacs" Xref: news.gmane.org gmane.emacs.bugs:171152 Archived-At: Chunyang Xu writes: > It looks like, to me, the structure of the BODY arg of these two should > be the same (accepting a list froms). > > (pcase-let ((a 1)) > (incf a) > a) > =3D> 2 > > (pcase-let* ((a 1)) > (incf a) > a) > =3D> 2 > > but the docstrings are using the different words. > > (pcase-let BINDINGS &rest BODY) > > Like `let' but where you can use `pcase' patterns for bindings. > BODY should be a list of expressions, and BINDINGS should be a list of bi= ndings > ^^^^^^^^^^^^^^^^^^^^^ > of the form (PAT EXP). > > (pcase-let* BINDINGS &rest BODY) > > Like `let*' but where you can use `pcase' patterns for bindings. > BODY should be an expression, and BINDINGS should be a list of bindings > ^^^^^^^^^^^^^ > of the form (PAT EXP). This has been changed on current master to: Like =E2=80=98let*=E2=80=99, but supports destructuring BINDINGS using = =E2=80=98pcase=E2=80=99 patterns. As with =E2=80=98pcase-let=E2=80=99, BINDINGS are of the form (PATTERN = EXP), but the EXP in each binding in BINDINGS can use the results of the destructuring bindings that precede it in BINDINGS=E2=80=99 order. =20=20=20=20 Each EXP should match (i.e. be of compatible structure) to its respective PATTERN; a mismatch may signal an error or may go undetected, binding variables to arbitrary values, such as nil. I'm therefore going to assume that the above is no longer an issue and close this bug report. If that is incorrect, please reopen. Best regards, Stefan Kangas