dialyzer: false function has no local return warning in R14B?

Klas Johansson <>
Thu Nov 4 21:52:29 CET 2010


I get a warning from dialyzer when using ets:select (test case
attached), but it seems like a false warning.  The fact that the key
(#r.k) is a tuple rather than an atom seems important - there's no
warning if it's an atom.

This is on R14B (as well as earlier versions).

Any ideas?

-------------- next part --------------
A non-text attachment was scrubbed...
Name: x.erl
Type: application/octet-stream
Size: 329 bytes
Desc: not available
URL: <http://erlang.org/pipermail/erlang-bugs/attachments/20101104/cc967442/attachment.obj>

More information about the erlang-bugs mailing list