Subject: Re: multiple-value binding let and let* From: Erik Naggum <erik@naggum.no> Date: 1999/08/19 Newsgroups: comp.lang.lisp Message-ID: <3144063865821902@naggum.no> * Tim Bradshaw <tfb@tfeb.org> | At the moment the scope of the declaration is entered, the | consequences are undefined if the value of the declared variable is | not of the declared type. | | And I think that's reasonably clear. well, it sort of depends on how you interpret "the value of a variable". I would argue that if a variable isn't actually accessed, neither does it have a value. I'm aware that the specification isn't fully with me on this one, but in my view, there's a distinction between A and B in this respect in the form (LET ((A NIL) B) ...), if for no other reason than that it communicates a different intent. in any case, when the behavior is undefined for value references, and there aren't any references, no undefined behavior will occur, right? #:Erik -- (defun pringles (chips) (loop (pop chips)))