[erlang-bugs] Dialyzer fails to detect unused variables in R16B03

[Kostis Sagonas]

On 05/21/2014 03:33 PM, Shayan Pooya wrote:
> Hello,
>
> In this piece of code, dialyzer fails to detect unused variable RState:
> https://github.com/pooya/disco/blob/dialyzer_bug/master/src/disco_worker.erl#L235
>
> (The code should be changed to use _ instead of RState, but I left it
> like this to report this issue).
>
> Erlang versions prior to R16B03 seem to correctly detect and report this
> issue:
> https://travis-ci.org/pooya/disco/builds/25693989
>
> Therefore, this seem to be an issue in dialyzer which is also present in
> Erlang 17.0

This is bit of a strange report since dialyzer does not really detect 
unused variables (and never has).  It's the Erlang compiler/linter that 
does this.

Kostis