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.

Full log


View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Johan Bockgård <bojohan <at> gnu.org>
Subject: bug#11495: closed (Re: bug#11495: 24.1.50; Edebug spec for `pcase')
Date: Mon, 11 Jun 2012 00:50:01 +0000
[Message part 1 (text/plain, inline)]
Your bug report

#11495: 24.1.50; Edebug spec for `pcase'

which was filed against the emacs package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to 11495 <at> debbugs.gnu.org.

-- 
11495: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=11495
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems
[Message part 2 (message/rfc822, inline)]
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

[Message part 3 (message/rfc822, inline)]
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))



This bug report was last modified 12 years and 255 days ago.

Previous Next


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