Subject: bug#65620: void function edebug-after

From: Gerd Möllmann <[email-masked]>
Date: Sat, 02 Sep 2023 06:27:32 +0200

Alan Mackenzie <[email-masked]> writes:

> Here's a working patch with a slight improvement: the error message
> identifies the macro suspected of having an erroneous edebug spec.

Maybe we could also add to the comment for edebug-before that basically
any of the instrumented form in the context you describe can lead to
errors?

I believe, if IFORM is such an instrumented form, something like

   (let ((x IFORM))
     ...)

in some macro will also error. 

Otherwise, LGTM.  Thanks for doing this!