Re: Elisp lexical-let

[Ken Raeburn]

On Jul 21, 2009, at 15:48, Daniel Kraft wrote:
> Especially, the question is about "what happens" when a lexical  
> variable is inside its scope again bound dynamically (say via let or  
> a lambda expression).

Oh, don't stop there... let's get some buffer-local or frame-local  
bindings into the mix too! :-)
There are probably corner cases where the only "specification" you're  
likely to find is "what Emacs does when you try it".  And, if the goal  
is to support the existing body of Lisp code (e.g., if Emacs 24 goes  
out with lexical binding support, and people start using it), there's  
a tradeoff between what seems logical or convenient to you, and what  
behavior of Emacs the existing code is going to expect.  Maybe not in  
weird corner cases, but cases like you describe above seem likely, and  
I think you'd want to mimic whatever behavior Emacs is going to do.

Ken