[debbugs-tracker] bug#11495: closed (24.1.50; Edebug spec for `pcase')

[GNU bug Tracking System]

Your message dated Sun, 10 Jun 2012 20:46:53 -0400
with message-id <address@hidden>
and subject line Re: bug#11495: 24.1.50; Edebug spec for `pcase'
has caused the debbugs.gnu.org bug report #11495,
regarding 24.1.50; Edebug spec for `pcase'
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
11495: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=11495
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> 24.1.50; Edebug spec for `pcase'
>
>
>
>
> Date: 
>
> Thu, 17 May 2012 01:07:44 +0200
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/24.1.50 (gnu/linux)
>
>
>
>
> 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))
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#11495: 24.1.50; Edebug spec for `pcase'
>
>
>
>
> Date: 
>
> Sun, 10 Jun 2012 20:46:53 -0400
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/24.1.50 (gnu/linux)
>
>
>
>
> > 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
>
>
> --- End Message ---