On 02/03/16 04:20, Patrick Palka wrote:
Using this wording order makes it seem that the problem is with the if
statement, because we emit a warning about it and then emit "only" a
note for the misleadingly-indented goto statement.
... on second thought, I may be overthinking the semantic difference
between a warning and a note. Feel free to disregard my nitpicking.
This is because the semantics of "note" are confusing. Currently it serves as a
stand-alone note and as extra info for a warning/error. There is no way to tell
the difference between the two except by making sense of the text of the
diagnostic. This is probably not an issue for humans if the text is clear
enough, but for automatic tools it is impossible to distinguish the two cases.
There is also the issue of distinguishing two independent single-line notes
from a multi-line note.
Ideally, we would have a different type of diagnostic
info: some informative text
note: continued here
Cheers,
Manuel.
