On Mon Mar 20 17:40:38 2023 +0000, Rémi Bernon wrote:
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 `.
Ah you mean if the PP_FILE string contains an actual newline. Hmm right.