This site is a static rendering of the Trac instance that was used by R7RS-WG1 for its work on R7RS-small (PDF), which was ratified in 2013. For more information, see Home.

Ticket 208: Is || a valid identifier?

2012-10-05 07:04:39
WG1 - Core
cowan
major
cowan
fixed
source
closed
2011-05-26 12:57:18
defect

The grammar in 7.1.1 allows || as an <identifier>. However, page 5 suggests the |...| form is only for convenience (e.g. |foo bar| is equivalent to foo\x20;bar). There's no way to normalise || to anything without the vertical bars that's a valid identifier. Was that intentional, or should the rule be

<vertical bar> <symbol element>+ <vertical bar>
resolution
statusnewdecided

We voted it's valid.

owneralexshinncowan
statusdecidedwriting
resolutionfixed
statuswritingclosed