<div dir="ltr">sure dialyzer will report error but callback functions are just one motivation, for me the first example is far more important¬†<div>as it reduces spec duplication which is annoying and not very expressive IMHO.¬†</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Sun, Oct 23, 2016 at 12:34 AM, Kenneth Lakin <span dir="ltr"><<a href="mailto:kennethlakin@gmail.com" target="_blank">kennethlakin@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On 10/22/2016 11:48 AM, Karlo Kuna wrote:<br>
> is there way to achieve this in current erlang<br>
<br>
</span>This doesn't feel like a straightforward way to achieve it, but<br>
functions that implement behavior callbacks appear to have the same<br>
specification as the behavior callback.<br>
<br>
dialyzer reports when the implemented callback deviates from the<br>
callback definition, and you don't need to annotate the implementing<br>
function(s) with "-spec" lines.<br>
<br>
<br>
<br>______________________________<wbr>_________________<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" rel="noreferrer" target="_blank">http://erlang.org/mailman/<wbr>listinfo/erlang-questions</a><br>
<br></blockquote></div><br></div>