[R6RS] HEADS UP: \<line ending>

R. Kent Dybvig dyb at cs.indiana.edu
Sat Jun 30 13:56:51 EDT 2007


> I believe I should have changed 
>
> \<line ending><intraline whitespace>
>
> to \<intraline whitespace><line ending><intraline whitespace> 
>
> and removed \<space>.
>
> Instead, I removed the <intraline whitespace> entirely.  Maybe I
> misremember: I can't find mention of any discussion in the minutes.

I assume you're talking about <string element>, in which case I agree:
\<line ending> should be
\<intraline whitespace><line ending><intraline whitespace>.

Kent



More information about the R6RS mailing list