20 Mar
2023
20 Mar
'23
5:40 p.m.
On Mon Mar 20 17:34:10 2023 +0000, Jacek Caban wrote:
That too, but I meant something like `<PP_FILE>"(\[^n]|[^"\\n])*"{ws}*`, so that it doesn't match unterminated string with a quote from another line.
I'm not sure to understand how that could happen. The `PP_FILE` state is only pushed from the `PP_LINE` state, after the line number has been lexed, which itself only happens after a leading `#`. So any `PP_FILE` state *will* be preceded by something like `# 123 `.