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

Shayan Pooya shayan@REDACTED
Wed May 21 15:33:10 CEST 2014


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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-bugs/attachments/20140521/b0705caa/attachment.htm>


More information about the erlang-bugs mailing list