Frank Heckenbach wrote:
... snip ...
There is one tricky point, though. Consider:
(* (*)
This is a valid comment, contaning ` ('. However `(*' *looks* like a nested comment-opener. Generally this should be warned for, but not here, because the `*' is (must be!) actually part of the `*)'.
I hope I'll manage to explain this to our lexer ... (-; but I think so -- in the end it's all regex, just a little more complex).
I don't think there is any need to explain it. These are not errors, simply warnings. By definition, it is impossible to make an error within a comment. In this case the verbiage might be: "Possible unclosed earlier comment". If it offends someone you have provided an input parameter to suppress it.