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

Re: Line-feed required for a line termination?

This page is part of the web mail archives of SRFI 75 from before July 7th, 2015. The new archives for SRFI 75 contain all messages, not just those from before July 7th, 2015.

Jorgen Schaefer wrote:
| \<platform-specific newline sequence><intraline-whitespace> :
| ...

Or just define <newline> as <CR> | <LF> | <CR><LF>

I'd also allow spaces and tabs between the #\\ and the <newline>,
because it's silly to have the lexing depending on things you can't see.
	--Per Bothner
per@xxxxxxxxxxx   http://per.bothner.com/