Difference in CLISP and CMUCL/SBCL behaviour

[Vladimir Sekissov]

Good day,

Can somebody explain which implementation give the correct result
running this code:

(defvar *a* 1)

(defmacro test-a () *a*)

(progv '(*a) '(2)
  (test-a))

CMUCL/SBCL answers:

CL-USER> (progv '(*a) '(2) (test-a))
=> 1

CLISP 2.33.83:

[3]> (progv '(*a*) '(2) (test-a))
=> 2


Best Regards,
Vladimir Sekissov