bug#11258: 24.1.50; lexical binding inconsistencies

[Michael Heerdegen]

Stefan Monnier <monnier@IRO.UMontreal.CA> writes:

> > ; Test  -*- lexical-binding: t -*-
> > (defun test2 (arg)
> >   (interactive "i")
> >   ((lambda () arg)))

> This is a bug in the handling of ((lambda ...) args) in lexical-binding:
> the compiler treats it as (funcall #'(lambda () ...) args), whereas the
> interpreter treats it as (funcall '(lambda () ...) args), so the
> lambda's body is treated as lexically scoped when compiled but
> dynamically scoped when interpreted.

There is no scoping at all when interpreted.  The dynamical scope is not
established (else, we would get no error), which is right - just the
lexical scope is missing.

> I think the compiler is right, so the interpreter needs fixing.  I'm
> not completely sure it will be harmless, so it won't be fixed in 24.1.

Ok.


Regards,

Michael.