[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Scheme-reports] Re: Issues with R7RS draft 8 section 7.1.1 <symbol element>

I just realized that the "symbol element" issue is even worse.  Since a symbol element can be a string element, and a string element can be "|", the grammar says that "|" by itself can be a symbol element (!).  For example, given |a||, does the second "|" match the ending "vertical line" of the "<vertical line> <symbol element>* <vertical line>" sequence, or is it a "symbol element" because it is a "string element"?

I'm *sure* that wasn't intended.

My previous email (with the proposed grammar) fixes this problem as well.

--- David A. Wheeler

Scheme-reports mailing list