[cl-who-devel] declarations placement issue

[Ala'a Mohammad]

Hi,

Please, correct me If I'm wrong.

in the expansion of the following (using cl-who from quicklisp)

(with-html-output (var)
  (declare (special var)))
;=>
(LET ((VAR VAR))
   (PROGN
      (DECLARE (SPECIAL VAR))))

I think that the declaration is placed in the wrong place. CLHS does
not specify any declarations for PROGN entry. and in this declaration
provides information about the bindings of LET, thus I thought the
correct expansion should be:

(with-html-output (var)
  (declare (special var)))
;=>
(LET ((VAR VAR))
   (DECLARE (SPECIAL VAR))
   (PROGN))

the fix should should only affect with-html-output (since
with-html-output-to-string passes the declarations to the former
macro)

Regards,

Ala'a