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#16238: 24.3.50; pcase docs (and possibly pcase) wrong Date: Tue, 24 Dec 2013 09:53:35 -0500 Message-ID: References: <87ob46vcfl.fsf@thinkpad.tsdh.org> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: ger.gmane.org 1387896862 23474 80.91.229.3 (24 Dec 2013 14:54:22 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 24 Dec 2013 14:54:22 +0000 (UTC) Cc: 16238@debbugs.gnu.org To: Tassilo Horn Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Tue Dec 24 15:54:25 2013 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 1VvTNE-0002QL-Qi for geb-bug-gnu-emacs@m.gmane.org; Tue, 24 Dec 2013 15:54:20 +0100 Original-Received: from localhost ([::1]:38935 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1VvTNE-0000oX-8x for geb-bug-gnu-emacs@m.gmane.org; Tue, 24 Dec 2013 09:54:20 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:49038) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1VvTN3-0000G7-TY for bug-gnu-emacs@gnu.org; Tue, 24 Dec 2013 09:54:17 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1VvTMw-00067H-Kw for bug-gnu-emacs@gnu.org; Tue, 24 Dec 2013 09:54:09 -0500 Original-Received: from debbugs.gnu.org ([140.186.70.43]:52554) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1VvTMw-00067D-H8 for bug-gnu-emacs@gnu.org; Tue, 24 Dec 2013 09:54:02 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.80) (envelope-from ) id 1VvTMv-00022E-SA for bug-gnu-emacs@gnu.org; Tue, 24 Dec 2013 09:54:01 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Stefan Monnier Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Tue, 24 Dec 2013 14:54:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 16238 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: Original-Received: via spool by 16238-submit@debbugs.gnu.org id=B16238.13878968237793 (code B ref 16238); Tue, 24 Dec 2013 14:54:01 +0000 Original-Received: (at 16238) by debbugs.gnu.org; 24 Dec 2013 14:53:43 +0000 Original-Received: from localhost ([127.0.0.1]:38340 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1VvTMd-00021Z-Ck for submit@debbugs.gnu.org; Tue, 24 Dec 2013 09:53:43 -0500 Original-Received: from chene.dit.umontreal.ca ([132.204.246.20]:44252) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1VvTMb-00021J-7Q for 16238@debbugs.gnu.org; Tue, 24 Dec 2013 09:53:41 -0500 Original-Received: from fmsmemgm.homelinux.net (lechon.iro.umontreal.ca [132.204.27.242]) by chene.dit.umontreal.ca (8.14.1/8.14.1) with ESMTP id rBOErZ1w024311; Tue, 24 Dec 2013 09:53:36 -0500 Original-Received: by fmsmemgm.homelinux.net (Postfix, from userid 20848) id 34A73AE086; Tue, 24 Dec 2013 09:53:35 -0500 (EST) In-Reply-To: <87ob46vcfl.fsf@thinkpad.tsdh.org> (Tassilo Horn's message of "Tue, 24 Dec 2013 10:13:50 +0100") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3.50 (gnu/linux) X-NAI-Spam-Flag: NO X-NAI-Spam-Threshold: 5 X-NAI-Spam-Score: 0 X-NAI-Spam-Rules: 1 Rules triggered RV4802=0 X-NAI-Spam-Version: 2.3.0.9362 : core <4802> : inlines <357> : streams <1096298> : uri <1633819> 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:82519 Archived-At: > (defun evaluate (exp env) > (pcase exp > (`(add ,x ,y) (+ (evaluate x env) (evaluate y env))) > (`(call ,fun ,arg) (funcall (evaluate fun) (evaluate arg env))) > `--- HERE! Indeed, feel free to fix it. > But shouldn't `arg' be substituted with 'x and `body' with '(add 1 x)? No, the code is meant for lexical-binding. Stefan