From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Nicolas Petton Newsgroups: gmane.emacs.devel Subject: Re: New macro `seq-let' in seq.el Date: Wed, 06 May 2015 05:46:20 +0200 Message-ID: <87bnhyl65v.fsf@petton.fr> References: <87y4l8fbbc.fsf@petton.fr> <87h9rqlvlq.fsf@petton.fr> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha1; protocol="application/pgp-signature" X-Trace: ger.gmane.org 1430884016 16877 80.91.229.3 (6 May 2015 03:46:56 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 6 May 2015 03:46:56 +0000 (UTC) Cc: Nicolas Petton , Bozhidar Batsov , emacs-devel To: Stefan Monnier Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Wed May 06 05:46:46 2015 Return-path: 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 ) id 1YpqIG-0006SN-Uq for ged-emacs-devel@m.gmane.org; Wed, 06 May 2015 05:46:45 +0200 Original-Received: from localhost ([::1]:42819 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1YpqIF-000633-Ri for ged-emacs-devel@m.gmane.org; Tue, 05 May 2015 23:46:43 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:56311) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1YpqI2-00062G-Cm for emacs-devel@gnu.org; Tue, 05 May 2015 23:46:31 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1YpqHz-0005nl-6d for emacs-devel@gnu.org; Tue, 05 May 2015 23:46:30 -0400 Original-Received: from out3-smtp.messagingengine.com ([66.111.4.27]:60727) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1YpqHy-0005nL-Uz for emacs-devel@gnu.org; Tue, 05 May 2015 23:46:27 -0400 Original-Received: from compute4.internal (compute4.nyi.internal [10.202.2.44]) by mailout.nyi.internal (Postfix) with ESMTP id A278321158 for ; Tue, 5 May 2015 23:46:23 -0400 (EDT) Original-Received: from frontend2 ([10.202.2.161]) by compute4.internal (MEProxy); Tue, 05 May 2015 23:46:23 -0400 DKIM-Signature: v=1; a=rsa-sha1; c=relaxed/relaxed; d= messagingengine.com; h=cc:content-type:date:from:in-reply-to :message-id:mime-version:references:subject:to:x-sasl-enc :x-sasl-enc; s=smtpout; bh=WNwqq5MAw5Kum1ZX69YeZSplrHg=; b=tPy95 LzhADwhwY77/aiP0JUMZ9ES9WvJyGb57Pi8aW86AQCWUYszClwFa8PVV7trxBN83 q4RNO29pEEpbrzcKkAChakSq7kOteypO7HtCimbq1yGxS4KYyzfBsJhNNGRF6HsS flvRBjBO0QbbDe2GwM1qTJi5OFvPFSvBFPl6to= X-Sasl-enc: TgvGHC64CWtEmr0iAfwie0Q20c9fY5gRsPmieobsQC7q 1430883983 Original-Received: from blueberry (unknown [95.195.208.101]) by mail.messagingengine.com (Postfix) with ESMTPA id 794B0680116; Tue, 5 May 2015 23:46:22 -0400 (EDT) In-reply-to: X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 66.111.4.27 X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-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:186270 Archived-At: --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable Stefan Monnier writes: > You just need to write a pcase-macro which turns (seq ...) patterns into > other (more primitive) pcase patterns. E.g. it could turn (seq a b) > into a pattern like (and (pred seq-p) (app (elt 0) a) (app (elt 1) > b)). Thank you, I'll try to add this soon enough. Nico =2D-=20 Nicolas Petton http://nicolas-petton.fr --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 Comment: GPGTools - http://gpgtools.org iQEcBAEBAgAGBQJVSY6MAAoJECM1h6R8IHkQP+cIAMpHEnHbuNtHE2oZ4zEnNcsj 2AAN4Uwl/1FiPbOa1CbZGgRNUQ7+VSKtiQVbdCvecO9oDmYDCha3KwH1MqwCiL9q 2RZukeJ9RKy1c2P/OygZIdlZX389nMxe2ahS6JBxggczNC+agCvzomhb44aVJZjV rzHdKB39IUDSAfA0dTyGqtgHUjT+LNKbhw6aqabj00H/cMaJJht7GN1G3drF4rjR eWNcoUwTJBRYhgu6f/VmXRM4YWOiRtePuYzdqpsLoxYUGqKwl3Wa+eMcwBWGGBFK BEXIAiY72uR+92TkeVncRwovaGgrXmJKztsGePe4BVbyaq/oZRjw4nShYLsdQFk= =J9rF -----END PGP SIGNATURE----- --=-=-=--