Hello!<div><br></div><div>File attached.</div><div>Just compile it with</div><div><br></div><div>erlc +debug_info my_module.erl</div><div><br></div><div>then</div><div><br></div><div>dialyzer . --plt ~/.r15b01_dialyzer.plt --no_native -Werror_handling -Wrace_conditions -Wunderspecs</div>
<div><br></div><div>and I see:</div><div><br></div><div><div>  Checking whether the PLT /home/zert/.r15b01_dialyzer.plt is up-to-date... yes</div><div>  Proceeding with analysis... done in 0m0.39s</div><div>done (passed successfully)</div>
<div><br></div><br><div class="gmail_quote">On 5 July 2012 20:22, Stavros Aronis <span dir="ltr"><<a href="mailto:aronisstav@gmail.com" target="_blank">aronisstav@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Hi!<br><br>Your description is not very clear, so it might be better to send me some code snippet off-list, but let me put some facts here to make sure that the expectations from Dialyzer are 'reasonable'!<div><br>
</div><div>- Dialyzer first uses the -callback attibutes of the behaviour and will always warn if the arguments or return value of a callback function are not subtypes of those attributes. If e.g. the return value of a callback is expected to be {noreply, term()} and the callback always returns {reply, term(), term()}, Dialyzer will warn about this.</div>
<div>- As long as your implementation can possibly return an acceptable value, Dialyzer is happy. You might have a callback that either returns a correct value or something else that cannot be handled by the behaviour, but Dialyzer will assume that the correct term will always be returned. This happens because Dialyzer should never emit a false warning and this additional bad value might have been inferred because Dialyzer's analysis was not strong enough to exclude it.</div>
<div>- Spec attributes are also taken into account when anayzing callbacks in the following manner:</div><div>-- First the specs themselves are checked for compatibility with the -callback attributes of the behaviour. Here it is the user (and not Dialyzer) that writes these specs, so if these specs allow more values you get a warning. The rationale is that if you are providing a spec it should be at least as restrictive as the callback attribute.</div>
<div>-- Second, the spec is used to check the arguments and return value of the function, as is the case with any spec.</div><div><br></div><div>For gen_server, the -callback attributes can be seen <a href="https://github.com/erlang/otp/blob/maint/lib/stdlib/src/gen_server.erl#L123" target="_blank">here</a>. There, the State and NewState can be any terms. If you also have a spec saying that this callback function should return {noreply, State :: #state{}} and you return {noreply, {bugotak}} then you are violating your own spec (but not the callback attribute of gen_server) and you should get a warning. Is this not the case when you run Dialyzer?</div>
<span class="HOEnZb"><font color="#888888"><div><br></div><div>Stavros</div></font></span><br>_______________________________________________<br>
erlang-questions mailing list<br>
<a href="mailto:erlang-questions@erlang.org">erlang-questions@erlang.org</a><br>
<a href="http://erlang.org/mailman/listinfo/erlang-questions" target="_blank">http://erlang.org/mailman/listinfo/erlang-questions</a><br>
<br></blockquote></div><br><br clear="all"><div><br></div>-- <br>Max Treskin<br>
</div>