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

[Marcin Borkowski <mbork@mbork.pl>]

On 2016-01-05, at 05:41, Stefan Monnier <monnier@iro.umontreal.ca> wrote:

>> OK, so try C-u C-M-x with this form:
>
>> (eval
>>  '(progn
>>     (message "foo")
>>     (message "bar")))
>
> Of course, this is a silly use of `eval' and for more real uses this

Of course it's silly, it wasn't meant to be anything else.

> problem typically doesn't happen.  This said, you can try
>
>    (eval (edebug-\` (progn (message "foo") (message "bar"))))
>
> Where edebug-\` is an alias for the normal backquote which tells Edebug
> that the quoted data is actually dynamically-generated code, so Edebug
> can try to "do the right thing".

Ha, that's interesting.  Do I get it correctly that the "normal
backquote" is the symbol \`, which is an alias for the `backquote'
macro?

>         Stefan

Thanks,

-- 
Marcin Borkowski
http://octd.wmi.amu.edu.pl/en/Marcin_Borkowski
Faculty of Mathematics and Computer Science
Adam Mickiewicz University