From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Stefan Monnier Newsgroups: gmane.emacs.bugs Subject: bug#20268: 25.0.50; pcase-lambda broken Date: Wed, 08 Apr 2015 10:35:53 -0400 Message-ID: References: NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: ger.gmane.org 1428503848 27205 80.91.229.3 (8 Apr 2015 14:37:28 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 8 Apr 2015 14:37:28 +0000 (UTC) Cc: 20268@debbugs.gnu.org To: Leo Liu Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Wed Apr 08 16:37:17 2015 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1Yfr6R-0000hX-GX for geb-bug-gnu-emacs@m.gmane.org; Wed, 08 Apr 2015 16:37:15 +0200 Original-Received: from localhost ([::1]:53094 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Yfr6Q-0000UH-K4 for geb-bug-gnu-emacs@m.gmane.org; Wed, 08 Apr 2015 10:37:14 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:48448) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Yfr6N-0000Qk-GK for bug-gnu-emacs@gnu.org; Wed, 08 Apr 2015 10:37:12 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Yfr6E-00087k-NN for bug-gnu-emacs@gnu.org; Wed, 08 Apr 2015 10:37:08 -0400 Original-Received: from debbugs.gnu.org ([140.186.70.43]:59478) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Yfr6E-00087d-K6 for bug-gnu-emacs@gnu.org; Wed, 08 Apr 2015 10:37:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.80) (envelope-from ) id 1Yfr6E-0000sl-5B for bug-gnu-emacs@gnu.org; Wed, 08 Apr 2015 10:37:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Stefan Monnier Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Wed, 08 Apr 2015 14:37:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 20268 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: Original-Received: via spool by 20268-submit@debbugs.gnu.org id=B20268.14285037693321 (code B ref 20268); Wed, 08 Apr 2015 14:37:02 +0000 Original-Received: (at 20268) by debbugs.gnu.org; 8 Apr 2015 14:36:09 +0000 Original-Received: from localhost ([127.0.0.1]:49254 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1Yfr5J-0000rS-3K for submit@debbugs.gnu.org; Wed, 08 Apr 2015 10:36:09 -0400 Original-Received: from ironport2-out.teksavvy.com ([206.248.154.181]:63680) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1Yfr5D-0000qu-2F for 20268@debbugs.gnu.org; Wed, 08 Apr 2015 10:36:03 -0400 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnEFAGvvdVRBbthL/2dsb2JhbAA3gVOfQYIugQiBdQEBBAFWIwULCw4mEhQYDSSIE6IRi3YKDBENOgkDA4M+A4NwBKg7 X-IPAS-Result: AnEFAGvvdVRBbthL/2dsb2JhbAA3gVOfQYIugQiBdQEBBAFWIwULCw4mEhQYDSSIE6IRi3YKDBENOgkDA4M+A4NwBKg7 X-IronPort-AV: E=Sophos;i="5.01,1,1400040000"; d="scan'208";a="115708029" Original-Received: from 65-110-216-75.cpe.pppoe.ca (HELO pastel.home) ([65.110.216.75]) by ironport2-out.teksavvy.com with ESMTP/TLS/DHE-RSA-AES256-SHA; 08 Apr 2015 10:35:53 -0400 Original-Received: by pastel.home (Postfix, from userid 20848) id 6D9791FC7; Wed, 8 Apr 2015 10:35:53 -0400 (EDT) In-Reply-To: (Leo Liu's message of "Wed, 08 Apr 2015 09:01:13 +0800") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.0.50 (gnu/linux) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x X-Received-From: 140.186.70.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-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.bugs:101287 Archived-At: > I don't mind new semantics but I want to make sense of it so as to use > it with confidence. What I am seeing is: > (funcall (pcase-lambda (`[fullsweep_after ,v]) v) [min_bin_vheap_size 46422]) When destructuring (as opposed to performing case-analysis), pcase.el takes as a given that the pattern does match, so the pattern is basically only used to decide from where to extract the information to bind the variables. So the following patterns are equivalent: `[fullsweep_after ,v] `[,_ ,v] `[,(pred foo) ,v] If you want to test that the pattern matches, that means someone needs to decide what happens when the pattern doesn't match. The previous behavior was to "do nothing and return nil", which is too arbitrary for my taste, so if you want that, you need to write it (lambda (x) (pcase (`[fullsweep_after ,v] v))) -- Stefan