From debbugs-submit-bounces@debbugs.gnu.org Wed May 16 19:08:29 2012 Received: (at submit) by debbugs.gnu.org; 16 May 2012 23:08:29 +0000 Received: from localhost ([127.0.0.1]:58231 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1SUnKE-0006sl-TK for submit@debbugs.gnu.org; Wed, 16 May 2012 19:08:29 -0400 Received: from eggs.gnu.org ([208.118.235.92]:36331) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1SUnKD-0006sZ-81 for submit@debbugs.gnu.org; Wed, 16 May 2012 19:08:10 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1SUnJu-0003S9-RS for submit@debbugs.gnu.org; Wed, 16 May 2012 19:07:51 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-6.9 required=5.0 tests=BAYES_00,RCVD_IN_DNSWL_HI, T_RP_MATCHES_RCVD autolearn=unavailable version=3.3.2 Received: from lists.gnu.org ([208.118.235.17]:60017) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1SUnJu-0003S2-On for submit@debbugs.gnu.org; Wed, 16 May 2012 19:07:50 -0400 Received: from eggs.gnu.org ([208.118.235.92]:49129) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1SUnJt-0004ZO-4H for bug-gnu-emacs@gnu.org; Wed, 16 May 2012 19:07:50 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1SUnJr-0003R2-5V for bug-gnu-emacs@gnu.org; Wed, 16 May 2012 19:07:48 -0400 Received: from smtprelay-b21.telenor.se ([195.54.99.212]:37274) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1SUnJq-0003Qf-Vj for bug-gnu-emacs@gnu.org; Wed, 16 May 2012 19:07:47 -0400 Received: from ipb2.telenor.se (ipb2.telenor.se [195.54.127.165]) by smtprelay-b21.telenor.se (Postfix) with ESMTP id B6176C405 for ; Thu, 17 May 2012 01:07:45 +0200 (CEST) X-SMTPAUTH-B2: [bocjoh] X-SENDER-IP: [85.229.0.223] X-LISTENER: [smtp.bredband.net] X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsCZAMkytE9V5QDfPGdsb2JhbABEg0CGfqgoA4EhGQEBAQE3NIJyXzQBBBgBDAqIP5o3oSaLcYFWgyMDqSU X-IronPort-AV: E=Sophos;i="4.75,605,1330902000"; d="scan'208";a="337454378" Received: from c-df00e555.04-211-6c6b701.cust.bredbandsbolaget.se (HELO muon.localdomain) ([85.229.0.223]) by ipb2.telenor.se with ESMTP; 17 May 2012 01:07:45 +0200 Received: by muon.localdomain (Postfix, from userid 1000) id CE8DB484187; Thu, 17 May 2012 01:07:44 +0200 (CEST) From: =?utf-8?Q?Johan_Bockg=C3=A5rd?= To: bug-gnu-emacs@gnu.org Subject: 24.1.50; Edebug spec for `pcase' Date: Thu, 17 May 2012 01:07:44 +0200 Message-ID: <87ipfvwwqn.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.1.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6 (newer, 3) X-Received-From: 208.118.235.17 X-Spam-Score: -6.9 (------) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.13 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -6.9 (------) There's a FIXME note for the debug spec of the `pcase' macro. I think this should do the job: (def-edebug-spec pcase (form &rest (pcase-UPAT body))) (def-edebug-spec pcase-UPAT (&or symbolp ("or" &rest pcase-UPAT) ("and" &rest pcase-UPAT) ("`" pcase-QPAT) ("pred" &or lambda-expr ;; Punt on macros/special forms. ([¬ functionp] fboundp &rest sexp) ([&or lambda-expr sexp] &rest form) sexp) ("guard" form) ("let" pcase-UPAT form))) (def-edebug-spec pcase-QPAT (&or ("," pcase-UPAT) (pcase-QPAT . [&or nil pcase-QPAT]) sexp)) From debbugs-submit-bounces@debbugs.gnu.org Sun Jun 10 20:49:30 2012 Received: (at 11495-done) by debbugs.gnu.org; 11 Jun 2012 00:49:31 +0000 Received: from localhost ([127.0.0.1]:37169 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1Sdsp0-0007b1-Pq for submit@debbugs.gnu.org; Sun, 10 Jun 2012 20:49:30 -0400 Received: from ironport2-out.teksavvy.com ([206.248.154.182]:16571) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1Sdsoz-0007at-AU for 11495-done@debbugs.gnu.org; Sun, 10 Jun 2012 20:49:29 -0400 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ai0FAG6Zu09FxIfQ/2dsb2JhbABEsEiDSYEIghUBAQQBViMFCws0EhQYDSSIHAW6CZBEA6MzgViDBQ X-IronPort-AV: E=Sophos;i="4.75,637,1330923600"; d="scan'208";a="190946152" Received: from 69-196-135-208.dsl.teksavvy.com (HELO fmsmemgm.homelinux.net) ([69.196.135.208]) by ironport2-out.teksavvy.com with ESMTP/TLS/ADH-AES256-SHA; 10 Jun 2012 20:46:54 -0400 Received: by fmsmemgm.homelinux.net (Postfix, from userid 20848) id 78A14AE237; Sun, 10 Jun 2012 20:46:53 -0400 (EDT) From: Stefan Monnier To: Johan =?iso-8859-1?Q?Bockg=E5rd?= Subject: Re: bug#11495: 24.1.50; Edebug spec for `pcase' Message-ID: References: <87ipfvwwqn.fsf@gnu.org> Date: Sun, 10 Jun 2012 20:46:53 -0400 In-Reply-To: <87ipfvwwqn.fsf@gnu.org> ("Johan =?iso-8859-1?Q?Bockg=E5rd=22?= =?iso-8859-1?Q?'s?= message of "Thu, 17 May 2012 01:07:44 +0200") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.1.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -1.9 (-) X-Debbugs-Envelope-To: 11495-done Cc: 11495-done@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.13 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -1.9 (-) > There's a FIXME note for the debug spec of the `pcase' macro. > I think this should do the job: Thanks. I installed your code with some minor tweaks. Stefan From unknown Mon Jun 23 09:38:55 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Mon, 09 Jul 2012 11:24:03 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator From debbugs-submit-bounces@debbugs.gnu.org Sat Sep 15 15:10:28 2012 Received: (at control) by debbugs.gnu.org; 15 Sep 2012 19:10:28 +0000 Received: from localhost ([127.0.0.1]:35785 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1TCxl6-0007IN-4g for submit@debbugs.gnu.org; Sat, 15 Sep 2012 15:10:28 -0400 Received: from fencepost.gnu.org ([208.118.235.10]:53915) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1TCxl4-0007IG-IY for control@debbugs.gnu.org; Sat, 15 Sep 2012 15:10:27 -0400 Received: from rgm by fencepost.gnu.org with local (Exim 4.71) (envelope-from ) id 1TCxk1-0001CG-Ht for control@debbugs.gnu.org; Sat, 15 Sep 2012 15:09:21 -0400 Date: Sat, 15 Sep 2012 15:09:21 -0400 Message-Id: Subject: control message for bug 12449 To: X-Mailer: mail (GNU Mailutils 2.1) From: Glenn Morris X-Spam-Score: -7.4 (-------) X-Debbugs-Envelope-To: control X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.13 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -7.4 (-------) unarchive 11495 fixed 12449 24.3 forcemerge 11495 12449 From unknown Mon Jun 23 09:38:55 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Sun, 14 Oct 2012 11:24:04 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator