[erlang-questions] Dialyzer, behaviours, plts and what not

Stavros Aronis aronisstav@REDACTED
Thu Jan 7 16:29:27 CET 2016


Hi Brujo!

Thanks for the report! I have just created a pull request for a patch:
https://github.com/erlang/otp/pull/934

Stavros

On Tue, Jan 5, 2016 at 7:33 PM Brujo Benavides <
fernando.benavides@REDACTED> wrote:

> So, my friend Harenson <http://twitter.com/harenson> was dialyzing some
> code where we’ve implemented egithub_webhook behaviour from egithub
> <https://hex.pm/packages/egithub>, and he found this warning:
>
> Callback info about the egithub_webhook behaviour is not available
>
>
> Being a big fan of dialyzer myself, I immediately jumped in and tried to *fix
> *our code to avoid that warning.
> But this time, it turns out, it seems like we actually found a bug in
> dialyzer.
> We reduced the issue to its smallest possible expression and uploaded it
> here <https://github.com/elbrujohalcon/dialyzeit>.
>
> I’m pretty sure for most of you it will be just a curiosity, but just in
> case it actually helps someone, remember:
>
> *Don’t define a callback and add a not exported function with the same
> name and arity to the same module in your libraries.*
>
> At least, don’t do it until ERL-72 <http://bugs.erlang.org/browse/ERL-72> is
> fixed ;)
>
> Cheers!
>
> *Fernando “Brujo” Benavides*
> about.me/elbrujohalcon
>
>
>
> _______________________________________________
> erlang-questions mailing list
> erlang-questions@REDACTED
> http://erlang.org/mailman/listinfo/erlang-questions
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20160107/f101b693/attachment.htm>


More information about the erlang-questions mailing list