Re: lexical-binding questions

[Thierry Volpiatto]

Thierry Volpiatto <address@hidden> writes:

> Hi,
> it seem C-M-x is not working as expected in a `lexical-binding' enabled
> buffer:
>
> #+BEGIN_SRC emacs-lisp
> ;; -*- lexical-binding: t -*-
>
> (defun foo ()
>   (declare (special bar))
>   (let ((bar 2)
>         (baz 3))
>     #'(lambda () (+ bar baz))))
>
> ;; I expect this:
>
> ;; (funcall (foo))
> ;;=>Symbol's value as variable is void: bar
>
> #+END_SRC
>
> However, (funcall (foo)) return 5 until I byte-compile and load the
> file.
>
> So my question is how do you evaluate such code when working in a
> `lexical-binding' enabled buffer?
>
> Thanks.

Also, in CL, the declare spec is placed at the beginning of the let
form:

#+BEGIN_SRC lisp
(defun foo ()
  (let ((bar 2)
        (baz 3))
    (declare (special bar))
    #'(lambda () (+ bar baz))))
(foo)
;; => #<FUNCTION (LAMBDA () :IN FOO) {B08BF6D}>
(funcall (foo))
;; =>The variable BAR is unbound.
;;    [Condition of type UNBOUND-VARIABLE]

#+END_SRC

In elisp the declare form need to be placed BEFORE the let form (see
above), otherwise it have no effect.

the manual say:

--8<---------------cut here---------------start------------->8---
 -- Special Form: declare decl-specs...
     This macro is used to make declarations within functions and other
     code.  Common Lisp allows declarations in various locations,
     generally at the beginning of any of the many "implicit `progn's"
     throughout Lisp syntax, such as function bodies, `let' bodies,
     etc.  Currently the only declaration understood by `declare' is
     `special'.
--8<---------------cut here---------------end--------------->8---

So where is the beginning of a let/progn form?

;; here ?
(let ((bar 2))
;; or here ?

Why does it behave differently from CL?

-- 
  Thierry
Get my Gnupg key:
gpg --keyserver pgp.mit.edu --recv-keys 59F29997