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/