Re: Dialyzer fails to detect unused variables in R16B03
Kostis Sagonas <[email protected]>
| Newsgroups | gmane.comp.lang.erlang.bugs |
|---|---|
| Message-ID | <[email protected]> |
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 _______________________________________________ erlang-bugs mailing list [email protected] http://erlang.org/mailman/listinfo/erlang-bugs