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 324: allow |\ as escape for | within a |-escaped identifier

2012-10-07 11:26:28
WG1 - Core
cowan
major
cowan
fixed
source
closed
2012-01-10 04:06:54
defect

Allow \| to represent a vertical bar in an identifier enclosed in vertical bars.

Pro: It would be more consistent to allow \ to escape the | so that || acts exactly analogously to "" in strings, where backslashes escape the delimiter. This is simpler, more regular and allows implementation to use the same routine for reading strings and symbols (with the delimiter as parameter).

Con: If | is not allowed anywhere in a |-escaped identifier except at the end, we can find the end just by scanning for |.

statusnewdecided

The WG voted to adopt a proposal in which \| and all the escape sequences valid in strings are valid in identifiers enclosed in vertical bars.

owneralexshinncowan
statusdecidedwriting
resolutionfixed
statuswritingclosed