RE: Is there a way to instrument for edebug a form (say, a progn) given to `eval'?

[Drew Adams]

> OK, so try C-u C-M-x with this form:
> (eval '(progn (message "foo") (message "bar")))
> and see how Edebug doesn't step into the progn.
> 
> I suspect that it's impossible to actually edebug the `progn' form here,
> I just would like to make sure.

Well, as I said earlier, you can at least do this:

(progn
  (debug)
  (eval '(progn (message "foo") (message "bar"))))

or this:

(eval '(progn (debug) (message "foo") (message "bar")))