[plt-scheme] Does `(a,b'c) follow r6rs formal grammar?

From: Jos Koot (jos.koot at telefonica.net)
Date: Sun Jun 28 13:10:19 EDT 2009

I think 4.2.1  Formal account excludes quotes and commas from identifiers (except when escaped, of course)
They are listed as seperate lexemes.
Jos

----- Original Message ----- 
From: "Jon Stenerson" <jonstenerson at comcast.net>
To: "Abdulaziz Ghuloum" <aghuloum at gmail.com>
Cc: <plt-scheme at list.cs.brown.edu>
Sent: Sunday, June 28, 2009 5:29 PM
Subject: Re: [plt-scheme] Does `(a,b'c) follow r6rs formal grammar?


> Then is it a bug in plt scheme that this is accepted?
> 
> #!r6rs
> (import (rnrs))
> (define b 4)
> (display `(a,b'c))
> 
> Using drscheme, the module language, and entering above into definitions 
> window.
> 
> On Sunday 28 June 2009 02:06:59 am Abdulaziz Ghuloum wrote:
>> On Jun 27, 2009, at 8:36 PM, Jon Stenerson wrote:
>> > Is the expression `(a,b'c)  lexically valid according to r6rs? It says
>> > (section 4.2) that identifiers must be terminated by a delimiter or
>> > end of
>> > input, but this is not true for the identifiers a and b since
>> > neither the
>> > comma nor quote are listed as delimiters.
>>
>> You gave the question and the answer.
>>
>> Aziz,,,
> 
> 
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme
>


Posted on the users mailing list.