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

Re: Line-feed required for a line termination?



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/