I wrote:
> Shouldn't that be
> special_whitespace ({space}+|{comment}|{newline})
No, scratch that ... {comment} is the -- form of comment and the newline
is to terminate the comment.
The actual issue here seems to be that the whitespace productions only
deal with the -- form of comment, so that's the only kind you can embed
between sections of a string literal. This is okay per SQL92 but we
didn't upgrade it to SQL99, which appears to allow /* comments between
sections too.
Right offhand that looks like it would be *vastly* more work than it'd
be worth :-( --- there's no way to do /* comments without multiple
lexer rules.
regards, tom lane