let vs. buffer local bindings

[storm@cua.dk (Kim F. Storm)]

Gareth Owen <usenet@gwowen.freeserve.co.uk> has found a peculiar
interference between let and buffer local bindings.

Does anyone care to comment on the following result:

First try evalling:

(progn
  (make-variable-buffer-local 'foo)
  (setq-default foo 1)
  (list foo
	(let ((foo 2) (buf (generate-new-buffer "baz")))
	  (set-buffer buf) foo)
	(let ((foo 3) (buf (generate-new-buffer "baz")))
	  (set-buffer buf) foo)
	(let ((foo 4) (buf (generate-new-buffer "baz")))
	  (set-buffer buf) foo)))

which produces what seems to be correct:

  (1 2 3 4)


But now eval this:

(progn
  (setq foo 0)
  (list foo
	(let ((foo 2) (buf (generate-new-buffer "baz")))
	  (set-buffer buf) foo)
	(let ((foo 3) (buf (generate-new-buffer "baz")))
	  (set-buffer buf) foo)
	(let ((foo 4) (buf (generate-new-buffer "baz")))
	  (set-buffer buf) foo)))

which produces what seems to be wrong:

  (0 1 3 4)


-- 
Kim F. Storm <storm@cua.dk> http://www.cua.dk