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#13126: 24.3.50; (WISH) Document pcase in Info manual Date: Tue, 11 Dec 2012 08:55:34 -0500 Message-ID: References: <87fw3fpoa6.fsf@gmail.com> <87txrslwjp.fsf@gmail.com> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: ger.gmane.org 1355234195 26439 80.91.229.3 (11 Dec 2012 13:56:35 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 11 Dec 2012 13:56:35 +0000 (UTC) Cc: 13126@debbugs.gnu.org To: Jambunathan K Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Tue Dec 11 14:56:46 2012 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 1TiQKE-0002nx-Lo for geb-bug-gnu-emacs@m.gmane.org; Tue, 11 Dec 2012 14:56:46 +0100 Original-Received: from localhost ([::1]:37787 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1TiQK2-0003Q2-4r for geb-bug-gnu-emacs@m.gmane.org; Tue, 11 Dec 2012 08:56:34 -0500 Original-Received: from eggs.gnu.org ([208.118.235.92]:33671) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1TiQJt-0003Nt-UG for bug-gnu-emacs@gnu.org; Tue, 11 Dec 2012 08:56:32 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1TiQJp-0006zE-N9 for bug-gnu-emacs@gnu.org; Tue, 11 Dec 2012 08:56:25 -0500 Original-Received: from debbugs.gnu.org ([140.186.70.43]:54620) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1TiQJp-0006z2-Jj for bug-gnu-emacs@gnu.org; Tue, 11 Dec 2012 08:56:21 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.72) (envelope-from ) id 1TiQKU-0007l8-4j for bug-gnu-emacs@gnu.org; Tue, 11 Dec 2012 08:57:02 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Stefan Monnier Original-Sender: debbugs-submit-bounces@debbugs.gnu.org Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Tue, 11 Dec 2012 13:57:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 13126 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: Original-Received: via spool by 13126-submit@debbugs.gnu.org id=B13126.135523418329765 (code B ref 13126); Tue, 11 Dec 2012 13:57:02 +0000 Original-Received: (at 13126) by debbugs.gnu.org; 11 Dec 2012 13:56:23 +0000 Original-Received: from localhost ([127.0.0.1]:36637 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1TiQJo-0007k0-8X for submit@debbugs.gnu.org; Tue, 11 Dec 2012 08:56:22 -0500 Original-Received: from ironport2-out.teksavvy.com ([206.248.154.182]:34589) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1TiQJk-0007jr-Qs for 13126@debbugs.gnu.org; Tue, 11 Dec 2012 08:56:17 -0500 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ai0FAG6Zu09soXOY/2dsb2JhbABEsEiDSYEIghUBAQQBViMFCws0EhQYDSSIHAW6CZBEA4hCmnGBWIMH X-IronPort-AV: E=Sophos;i="4.75,637,1330923600"; d="scan'208";a="209591091" Original-Received: from 108-161-115-152.dsl.teksavvy.com (HELO pastel.home) ([108.161.115.152]) by ironport2-out.teksavvy.com with ESMTP/TLS/ADH-AES256-SHA; 11 Dec 2012 08:55:35 -0500 Original-Received: by pastel.home (Postfix, from userid 20848) id A2B52520E1; Tue, 11 Dec 2012 08:55:34 -0500 (EST) In-Reply-To: <87txrslwjp.fsf@gmail.com> (Jambunathan K.'s message of "Tue, 11 Dec 2012 15:50:42 +0530") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3.50 (gnu/linux) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.13 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.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:68311 Archived-At: > Thanks. `pcase' seemed a good replacement for `case'. While it's not a plug-in replacement, it provides a superset of the features of case, yes. > 1. pcase-let, pcase-let*, pcase-dolist (maybe) pcase-dolist shouldn't be documented (yet?). Maybe pcase-let and pcase-let* should be there, indeed. > 2. It took some effort to understand that there is a U-PATTERN and a > UPATTERN. We don't read out `*-*', do we? > ,---- > | There are two kinds of patterns involved in `pcase', called > | _U-patterns_ and _Q-patterns_. The UPATTERN mentioned above are > | U-patterns and can take the following forms: > `---- What do you suggest instead? > 3. Let's take the example of how > ,---- > | (defun evaluate (exp env) > | (pcase exp > | ,---- > | | (`(add ,x ,y) (+ (evaluate x env) (evaluate y env))) > | `---- > | (`(call ,fun ,arg) (funcall (evaluate fun) (evaluate arg env))) > | (`(fn ,arg ,body) (lambda (val) > | (evaluate body (cons (cons arg val) env)))) > | ((pred numberp) exp) > | ((pred symbolp) (cdr (assq exp env))) > | (_ (error "Unknown expression %S" exp)))) > `---- > `(add ,x ,y) > ` QPATTERN I don't know what you wanted to say here. Stefan