From: "Johan Bockgård" <bojohan@gnu.org>
To: 11495@debbugs.gnu.org
Subject: bug#11495: 24.1.50; Edebug spec for `pcase'
Date: Thu, 17 May 2012 01:07:44 +0200 [thread overview]
Message-ID: <87ipfvwwqn.fsf@gnu.org> (raw)
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))
next reply other threads:[~2012-05-16 23:07 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-05-16 23:07 Johan Bockgård [this message]
2012-06-11 0:46 ` bug#11495: 24.1.50; Edebug spec for `pcase' Stefan Monnier
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=87ipfvwwqn.fsf@gnu.org \
--to=bojohan@gnu.org \
--cc=11495@debbugs.gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/emacs.git
https://git.savannah.gnu.org/cgit/emacs/org-mode.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.