GNU bug report logs - #11495
24.1.50; Edebug spec for `pcase'

Previous Next

Package: emacs;

Reported by: Johan Bockgård <bojohan <at> gnu.org>

Date: Wed, 16 May 2012 23:09:02 UTC

Severity: normal

Tags: patch

Merged with 12449

Found in versions 24.1, 24.1.50

Fixed in version 24.3

Done: Stefan Monnier <monnier <at> iro.umontreal.ca>

Bug is archived. No further changes may be made.

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 11495 in the body.
You can then email your comments to 11495 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

View this report as an mbox folder, status mbox, maintainer mbox

Report forwarded to bug-gnu-emacs <at> gnu.org:
bug#11495; Package emacs. (Wed, 16 May 2012 23:09:02 GMT) Full text and rfc822 format available.
Acknowledgement sent to Johan Bockgård <bojohan <at> gnu.org>:
New bug report received and forwarded. Copy sent to bug-gnu-emacs <at> gnu.org. (Wed, 16 May 2012 23:09:02 GMT) Full text and rfc822 format available.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Johan Bockgård <bojohan <at> gnu.org>
To: bug-gnu-emacs <at> gnu.org
Subject: 24.1.50; Edebug spec for `pcase'
Date: Thu, 17 May 2012 01:07:44 +0200

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.
                ([&not 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))
Reply sent to Stefan Monnier <monnier <at> iro.umontreal.ca>:
You have taken responsibility. (Mon, 11 Jun 2012 00:50:01 GMT) Full text and rfc822 format available.
Notification sent to Johan Bockgård <bojohan <at> gnu.org>:
bug acknowledged by developer. (Mon, 11 Jun 2012 00:50:01 GMT) Full text and rfc822 format available.

Message #10 received at 11495-done <at> debbugs.gnu.org (full text, mbox):

From: Stefan Monnier <monnier <at> iro.umontreal.ca>
To: Johan Bockgård <bojohan <at> gnu.org>
Cc: 11495-done <at> debbugs.gnu.org
Subject: Re: bug#11495: 24.1.50; Edebug spec for `pcase'
Date: Sun, 10 Jun 2012 20:46:53 -0400

> 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
bug archived. Request was from Debbugs Internal Request <help-debbugs <at> gnu.org> to internal_control <at> debbugs.gnu.org. (Mon, 09 Jul 2012 11:24:03 GMT) Full text and rfc822 format available.
bug unarchived. Request was from Glenn Morris <rgm <at> gnu.org> to control <at> debbugs.gnu.org. (Sat, 15 Sep 2012 19:11:01 GMT) Full text and rfc822 format available.
Forcibly Merged 11495 12449. Request was from Glenn Morris <rgm <at> gnu.org> to control <at> debbugs.gnu.org. (Sat, 15 Sep 2012 19:11:02 GMT) Full text and rfc822 format available.
bug archived. Request was from Debbugs Internal Request <help-debbugs <at> gnu.org> to internal_control <at> debbugs.gnu.org. (Sun, 14 Oct 2012 11:24:04 GMT) Full text and rfc822 format available.
This bug report was last modified 12 years and 254 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.