In <431DD5E2.5040802@xxxxxxxxxxxxxxx> "Forrest J. Cavalier III" <forrest@xxxxxxxxxxxxxxx> writes:
And if it matters here, I think all diagnostics should start
with ".keyword.", such as "!.mismatch.10.0.0.1".
Yes, I made a proposal along those lines, except I put the keyword at the
end (because there is some existing practice for that). We can decide
after whether to follow that route (certainly the stuff in USEPRO covering
diagnostics needs a revision, and that might affect the precise syntax
too).