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.