From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Drew Adams Newsgroups: gmane.emacs.bugs Subject: bug#31350: 27.0; `pcase' message: "Redundant pcase pattern" Date: Thu, 3 May 2018 11:18:45 -0700 (PDT) Message-ID: References: <86d352f4-5fa7-4bee-b72c-17e58aace43f@default> <87d0ydilna.fsf@web.de> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable X-Trace: blaine.gmane.org 1525371478 8305 195.159.176.226 (3 May 2018 18:17:58 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Thu, 3 May 2018 18:17:58 +0000 (UTC) Cc: 31350@debbugs.gnu.org To: Michael Heerdegen Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Thu May 03 20:17:54 2018 Return-path: Envelope-to: geb-bug-gnu-emacs@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 1fEInh-00023C-4t for geb-bug-gnu-emacs@m.gmane.org; Thu, 03 May 2018 20:17:53 +0200 Original-Received: from localhost ([::1]:58157 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fEIpo-0001E8-13 for geb-bug-gnu-emacs@m.gmane.org; Thu, 03 May 2018 14:20:04 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:52671) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fEIos-0000pE-W1 for bug-gnu-emacs@gnu.org; Thu, 03 May 2018 14:19:08 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fEIop-0007WM-QC for bug-gnu-emacs@gnu.org; Thu, 03 May 2018 14:19:06 -0400 Original-Received: from debbugs.gnu.org ([208.118.235.43]:40621) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1fEIop-0007WC-M4 for bug-gnu-emacs@gnu.org; Thu, 03 May 2018 14:19:03 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1fEIop-0000hg-Bg for bug-gnu-emacs@gnu.org; Thu, 03 May 2018 14:19:03 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Drew Adams Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Thu, 03 May 2018 18:19:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 31350 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: Original-Received: via spool by 31350-submit@debbugs.gnu.org id=B31350.15253715352686 (code B ref 31350); Thu, 03 May 2018 18:19:02 +0000 Original-Received: (at 31350) by debbugs.gnu.org; 3 May 2018 18:18:55 +0000 Original-Received: from localhost ([127.0.0.1]:48518 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fEIoh-0000hF-Jg for submit@debbugs.gnu.org; Thu, 03 May 2018 14:18:55 -0400 Original-Received: from aserp2120.oracle.com ([141.146.126.78]:46092) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fEIof-0000gx-Df for 31350@debbugs.gnu.org; Thu, 03 May 2018 14:18:53 -0400 Original-Received: from pps.filterd (aserp2120.oracle.com [127.0.0.1]) by aserp2120.oracle.com (8.16.0.22/8.16.0.22) with SMTP id w43IBVcv094298; Thu, 3 May 2018 18:18:47 GMT DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=oracle.com; h=mime-version : message-id : date : from : sender : to : cc : subject : references : in-reply-to : content-type : content-transfer-encoding; s=corp-2017-10-26; bh=ldUChNbuGGEjPdCP1DlHWd8v1GMQQiaKhah2z1BJC3c=; b=NqalL10IyKCh8wc5TNwq1TverdO9ymYaKEzhSaRyF3D9GQyPTgNZS4WG7z+OYsKvUS9E 2tmv9biUbZf6a39tiWqfPH3Ph/SDqaqFikKhIyEc852O+KbEmVNlesBlvJvoeKQ0Fg96 EcT73UQgXj5i24dW4okal+MQYrrEHXRE5ZSTN/kBxH0eK1ACvWmjRM38gzm28KWV2/LU lOBJXqm3IRwbi2STdimObx5jmKs/M5qfxYY3ByKMS/lAdTHgkAcEAs2qh0hAxsxkAWYE hs/9eViBzS2LLLHkk7zmyMwU1Wszxw+SLKm5uzKPdqzASWfoEWs3xbyCknCIT/d+CpZ9 vA== Original-Received: from aserv0022.oracle.com (aserv0022.oracle.com [141.146.126.234]) by aserp2120.oracle.com with ESMTP id 2hmgxg3259-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Thu, 03 May 2018 18:18:47 +0000 Original-Received: from aserv0122.oracle.com (aserv0122.oracle.com [141.146.126.236]) by aserv0022.oracle.com (8.14.4/8.14.4) with ESMTP id w43IIkCL018384 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Thu, 3 May 2018 18:18:46 GMT Original-Received: from abhmp0013.oracle.com (abhmp0013.oracle.com [141.146.116.19]) by aserv0122.oracle.com (8.14.4/8.14.4) with ESMTP id w43IIkdv001768; Thu, 3 May 2018 18:18:46 GMT In-Reply-To: <87d0ydilna.fsf@web.de> X-Priority: 3 X-Mailer: Oracle Beehive Extensions for Outlook 2.0.1.9.1 (1003210) [OL 16.0.4678.0 (x86)] X-Proofpoint-Virus-Version: vendor=nai engine=5900 definitions=8882 signatures=668698 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 suspectscore=0 malwarescore=0 phishscore=0 bulkscore=0 spamscore=0 mlxscore=0 mlxlogscore=700 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.0.1-1711220000 definitions=main-1805030156 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: 208.118.235.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:145986 Archived-At: > > But the interpreted code worked as I wanted. Apparently it was the > > first of the two clauses (not the second, which had the "unused" > > lexical variable) that was ignored when interpreting. That lexical=20 > > variable was used when interpreting. >=20 > Are you sure? No, not at this point. > I get > (macroexpand-1 > '(pcase foo > (`,a `(not ,a)) > ((and a (guard (not recursivep))) `(not ,a)))) > =3D=3D> > (let ((a foo)) > `(not ,a)) >=20 > and when running the pcase form, the lexical binding of RECURSIVEP is > ignored for me, e.g. >=20 > (let ((recursivep t)) > (pcase 1 > (`,a `(not ,a)) > ((and a (guard (not recursivep))) `(not ,a)))) > =3D=3D> (not 1) (instead of nil) OK, thanks. The rest of the bug report stands, though.