From mboxrd@z Thu Jan  1 00:00:00 1970
Path: news.gmane.org!not-for-mail
From: Eli Zaretskii <eliz@gnu.org>
Newsgroups: gmane.emacs.devel
Subject: Re: [Emacs-diffs] emacs-25 d7a93ef: Minor improvements to 'pcase'
	documentation
Date: Fri, 29 Jan 2016 17:38:21 +0200
Message-ID: <83fuxgxuoi.fsf@gnu.org>
References: <20160129094242.352.60019@vcs.savannah.gnu.org>
	<E1aP5Zi-00006V-7V@vcs.savannah.gnu.org>
	<jwvd1skxyr2.fsf-monnier+emacsdiffs@gnu.org>
Reply-To: Eli Zaretskii <eliz@gnu.org>
NNTP-Posting-Host: plane.gmane.org
X-Trace: ger.gmane.org 1454082389 2825 80.91.229.3 (29 Jan 2016 15:46:29 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Fri, 29 Jan 2016 15:46:29 +0000 (UTC)
Cc: emacs-devel@gnu.org
To: Stefan Monnier <monnier@iro.umontreal.ca>
Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Fri Jan 29 16:46:15 2016
Return-path: <emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org>
Envelope-to: ged-emacs-devel@m.gmane.org
Original-Received: from lists.gnu.org ([208.118.235.17])
	by plane.gmane.org with esmtp (Exim 4.69)
	(envelope-from <emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org>)
	id 1aPBFN-00038W-UJ
	for ged-emacs-devel@m.gmane.org; Fri, 29 Jan 2016 16:46:06 +0100
Original-Received: from localhost ([::1]:34919 helo=lists.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org>)
	id 1aPBFN-0002Ez-2t
	for ged-emacs-devel@m.gmane.org; Fri, 29 Jan 2016 10:46:05 -0500
Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:43734)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <eliz@gnu.org>) id 1aPB8H-0005AT-71
	for emacs-devel@gnu.org; Fri, 29 Jan 2016 10:38:46 -0500
Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <eliz@gnu.org>) id 1aPB8D-0007ZV-B6
	for emacs-devel@gnu.org; Fri, 29 Jan 2016 10:38:45 -0500
Original-Received: from fencepost.gnu.org ([2001:4830:134:3::e]:43700)
	by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from <eliz@gnu.org>)
	id 1aPB8D-0007ZR-7y; Fri, 29 Jan 2016 10:38:41 -0500
Original-Received: from 84.94.185.246.cable.012.net.il ([84.94.185.246]:4103
	helo=HOME-C4E4A596F7)
	by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_128_CBC_SHA1:128)
	(Exim 4.82) (envelope-from <eliz@gnu.org>)
	id 1aPB8C-000829-Aq; Fri, 29 Jan 2016 10:38:40 -0500
In-reply-to: <jwvd1skxyr2.fsf-monnier+emacsdiffs@gnu.org> (message from Stefan
	Monnier on Fri, 29 Jan 2016 09:14:11 -0500)
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic]
X-Received-From: 2001:4830:134:3::e
X-BeenThere: emacs-devel@gnu.org
X-Mailman-Version: 2.1.14
Precedence: list
List-Id: "Emacs development discussions." <emacs-devel.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/emacs-devel>,
	<mailto:emacs-devel-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/emacs-devel>
List-Post: <mailto:emacs-devel@gnu.org>
List-Help: <mailto:emacs-devel-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/emacs-devel>,
	<mailto:emacs-devel-request@gnu.org?subject=subscribe>
Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org
Original-Sender: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org
Xref: news.gmane.org gmane.emacs.devel:198999
Archived-At: <http://permalink.gmane.org/gmane.emacs.devel/198999>

> From: Stefan Monnier <monnier@iro.umontreal.ca>
> Cc: Eli Zaretskii <eliz@gnu.org>
> Date: Fri, 29 Jan 2016 09:14:11 -0500
> 
> > +@c FIXME: There should be an example here showing how a 'pcase' that
> > +@c uses QPatterns can be rewritten using UPatterns.
> 
> For example:
> 
>    `(k . ,v)
> 
> macro-expands (via (funcall (get '\` 'pcase-macroexpander) '(k . ,v))) to:
> 
>    (funcall (get '\` 'pcase-macroexpander) '(k . ,v))
>    =>
>    (and (pred consp) (app car `k) (app cdr `,v))
>    =>
>    (and (pred consp) (app car 'k) (app cdr v))

Thanks.