From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Tassilo Horn Newsgroups: gmane.emacs.bugs Subject: bug#16238: 24.3.50; pcase docs (and possibly pcase) wrong Date: Tue, 24 Dec 2013 16:34:31 +0100 Message-ID: <874n5yuut4.fsf@thinkpad.tsdh.org> 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 1387899313 16365 80.91.229.3 (24 Dec 2013 15:35:13 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 24 Dec 2013 15:35:13 +0000 (UTC) Cc: Michael Heerdegen , 16238@debbugs.gnu.org To: Stefan Monnier Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Tue Dec 24 16:35:19 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 1VvU0r-0004cF-Qe for geb-bug-gnu-emacs@m.gmane.org; Tue, 24 Dec 2013 16:35:17 +0100 Original-Received: from localhost ([::1]:39142 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1VvU0r-0001QE-BL for geb-bug-gnu-emacs@m.gmane.org; Tue, 24 Dec 2013 10:35:17 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:57751) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1VvU0i-0001OT-98 for bug-gnu-emacs@gnu.org; Tue, 24 Dec 2013 10:35:13 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1VvU0d-0001za-0P for bug-gnu-emacs@gnu.org; Tue, 24 Dec 2013 10:35:08 -0500 Original-Received: from debbugs.gnu.org ([140.186.70.43]:53410) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1VvU0c-0001y8-Tw for bug-gnu-emacs@gnu.org; Tue, 24 Dec 2013 10:35:02 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.80) (envelope-from ) id 1VvU0b-0003TQ-Kt for bug-gnu-emacs@gnu.org; Tue, 24 Dec 2013 10:35:02 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Tassilo Horn Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Tue, 24 Dec 2013 15:35: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.138789927913310 (code B ref 16238); Tue, 24 Dec 2013 15:35:01 +0000 Original-Received: (at 16238) by debbugs.gnu.org; 24 Dec 2013 15:34:39 +0000 Original-Received: from localhost ([127.0.0.1]:39194 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1VvU0E-0003Sb-9K for submit@debbugs.gnu.org; Tue, 24 Dec 2013 10:34:38 -0500 Original-Received: from out3-smtp.messagingengine.com ([66.111.4.27]:39338) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1VvU0B-0003SP-CF for 16238@debbugs.gnu.org; Tue, 24 Dec 2013 10:34:36 -0500 Original-Received: from compute6.internal (compute6.nyi.mail.srv.osa [10.202.2.46]) by gateway1.nyi.mail.srv.osa (Postfix) with ESMTP id E757D20B71 for <16238@debbugs.gnu.org>; Tue, 24 Dec 2013 10:34:33 -0500 (EST) Original-Received: from frontend1 ([10.202.2.160]) by compute6.internal (MEProxy); Tue, 24 Dec 2013 10:34:33 -0500 DKIM-Signature: v=1; a=rsa-sha1; c=relaxed/relaxed; d= messagingengine.com; h=from:to:cc:subject:references:date :in-reply-to:message-id:mime-version:content-type; s=smtpout; bh=Jq315Y+SzDyHRQ9k1yeR9yKND3o=; b=ndhG/f/0j3DD1H0mTkod+Hzs1dKp nWOXnefmVfaSq7ICHoVl592/8U8bViRbrW7VROmjv78RtZts4RkCD+hq/DhtFsmS Cdtiug1uy2YI5jVv3G4zsrP8qR+dfdtLd+fMQlRvK8ljI2x6jlKmsDLIz4qnJimm 2BTKWC70+iED+Zw= X-Sasl-enc: ulu7C6R3qxBvJjSthEwQY1dijqGMUXBENm47A2NiZnqZ 1387899273 Original-Received: from thinkpad.tsdh.org (unknown [91.67.164.26]) by mail.messagingengine.com (Postfix) with ESMTPA id CAA85C00E8A; Tue, 24 Dec 2013 10:34:32 -0500 (EST) In-Reply-To: (Stefan Monnier's message of "Tue, 24 Dec 2013 09:53:35 -0500") User-Agent: Gnus/5.130008 (Ma Gnus v0.8) Emacs/24.3.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:82524 Archived-At: Stefan Monnier writes: >> (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. Done. >> But shouldn't `arg' be substituted with 'x and `body' with '(add 1 >> x)? > > No, the code is meant for lexical-binding. Ok, I see. I've also mentioned that in the docs, though I guess you can refine that comment to be more specific. Bye, Tassilo