Subject: Re: The LOOP macro (was Re: Be afraid of XML)
From: rpw3@rpw3.org (Rob Warnock)
Date: Sun, 14 Mar 2004 08:10:28 -0600
Newsgroups: comp.lang.lisp
Message-ID: <hSGdnZMZas1J-snd3czS-w@speakeasy.net>
Pascal Bourguignon  <spam@thalassa.informatimago.com> wrote:
+---------------
| Because the loop variables don't have to be available in the finally clause!
| If they're available, their value is unspecified.
+---------------

Please cite some supporting evidence from the CLHS for this bizarre claim.
Note that CLHS "6.1.2.1 Iteration Control" says simply:

	All variables are initialized in the loop prologue. A variable
	binding has lexical scope unless it is proclaimed special; thus,
	by default, the variable can be accessed only by forms that lie
	textually within the loop. Stepping assignments are made in the
	loop body before any other forms are evaluated in the body. 

The FINALLY clause is definitely "textually within the loop", so it must
have access to all of the iteration control variables defined therein.


-Rob

-----
Rob Warnock			<rpw3@rpw3.org>
627 26th Avenue			<URL:http://rpw3.org/>
San Mateo, CA 94403		(650)572-2607