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
xxxxxx@bothner.com   http://per.bothner.com/