Detector for unused variables

[Timon Gehr]

On 07/31/2012 11:55 AM, Minas wrote:
> I agree that having the compiler make warnings about unused
> variables is a really good idea!!!
>
> Java has it and when I program in eclipse it's really useful
> because the editor can highlight the particular lines.

An editor can be configured to point it out even if it is not in the
language, if it is considered useful.