[Scheme-reports] something's wrong with R7RS (small) erratum 5
William D Clinger 04 Feb 2015 23:58 UTC
http://trac.sacrideo.us/wg/wiki/R7RSSmallErrata erratum 5 says:
5. In section 7.1.1 (Lexical structure), the escape sequence
\| is not shown as permitted in strings. The list in
Section 6.7 shows that it is equivalent to |. This makes
the same escape sequences valid in both strings and
symbols.
The first sentence is clear enough, as is the second. We need
to add another production for <string element> with \| as its
right hand side.
The third sentence is then untrue. The (corrected) productions
for <string element> allow \" and \\, which are not allowed by
the productions for <symbol element>.
I suspect and hope the productions for <symbol element> need to
be corrected by adding productions for \" and \\. That would
make the third sentence of erratum 5 true.
Will
_______________________________________________
Scheme-reports mailing list
Scheme-reports@scheme-reports.org
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports