I tend to agree that most often, unused arguments are harmless. I
don't think most java development tools complain about them, whereas
most (by default) do complain about unused locals. Perhaps there's
opportunity for levels of specificity:
#pragma unused_locals
#pragma unused_arguments
?
On May 23, 2008, at 11:25 AM, Martin Stjernholm, Roxen IS @ Pike
developers forum wrote:
It's not acceptible with a #pragma either. That's way too clumsy.
I don't think a warning for unused arguments is that useful to begin
with; the risk to accidentally miss using an argument is not very
high. So if we can't agree on a good way to turn it off on a
per-argument basis (I still think leaving out the name is a good way,
though) it's better to just leave it unimplemented.
