On Tue, 26 Jun 2007, David Van Horn wrote:
> On 6/26/07, AndrevanTonder <andre at het.brown.edu> wrote:
>> I think the line
>>
>> A reference to any of these identifiers out of place
>> is a syntax violation.
>>
>> was intended to be
>>
>> A reference to any of these identifiers out of *phase*
>> is a syntax violation.
>
> The "out of place" text is taken from the response to formal comment #164:
>
> http://www.r6rs.org/formal-comments/comment-164.txt
>
> There it is made clear that "out of place" means using a literal
> keyword in an expression context.
In fact, it is questionable if this comment even belongs in 9.1, which talks
about export phases. I think the sense of the formal comment response may
have been lost between the formulation and execution. In fact, the /any/ in
"A reference to any of these identifiers out of place is a syntax violation."
could be taken as referring to the previously mentioned syntax-rules and
identifier-syntax as well, which were not addressed by the formal comment
response.
Also, 9.1 seems to be going through contortions to avoid mentioning that
these are bindings. Not referring to them as bindings is confusing, since
it calls into question, as you noted, whether they can be shadowed.
They should probably just be called bindings and be done with it.
Andre
Received on Tue Jun 26 2007 - 19:33:32 UTC