Re: A combination of defmacro, functionp, and quoted lambdas yields different results on consecutive evaluations

[Clément Pit-Claudel]

On 2018-02-26 08:11, Stefan Monnier wrote:
>>> This is not supposed to work: your test.el uses `mmm` before it gets
>>> defined by the subsequent `load`.
>> Uh, really? But the body of with-eval-after-load is (supposed to be)
>> evaluated after the FILE argument is loaded, not before, right?  `mmm'
>> is only used in `with-eval-after-load' in the code above.
> 
> The time of evaluation doesn't matter.  Think of the case where we
> *compile* the file.

Why is that relevant here, given that I'm *not* compiling the file?
(FWIW, I do indeed expect with-eval-after-load to protect its argument from 
compilation, yes.  Is it documented not to?)