Dialyzer fails to detect unused variables in R16B03

Shayan Pooya <[email protected]> Wed, 21 May 2014 09:33:10 -0400

Newsgroups	gmane.comp.lang.erlang.bugs
Message-ID	<CABAubTivcgsemXi71AnwcouMfTVx+eZvxjL4dZUbJNSC5pnxvg@mail.gmail.com>

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

_______________________________________________
erlang-bugs mailing list
[email protected]
http://erlang.org/mailman/listinfo/erlang-bugs