[erlang-questions] Dialyzer, Callback info about the behaviour is not available

Motiejus Jakštys desired.mta@REDACTED
Fri Jun 8 12:33:32 CEST 2012


I am really looking forward into this to have 100% clean dialyzer
output for my project. ;)


On Mon, May 14, 2012 at 5:47 PM, Motiejus Jakštys <desired.mta@REDACTED> wrote:
> On Thu, Jan 05, 2012 at 10:08:43PM +0100, Magnus Klaar wrote:
>> Hi!
>> We created a development branch for adding this information to this, and
>> other behaviors and came to the same conclusion, we'd have to drop R14
>> support, something which we cannot do when we know that there are users who
>> still haven't upgraded their production environments to R15. It was a
>> rather negative surprise to see the build fail after having put great care
>> into making sure the -callback specifications were accurate. ;)
> Hm, do you still have that development branch so I can check my code
> with dialyzer for my own sake?
>> Since we're on the subject, is there currently a good way to add
>> specifications for optional callback functions?
> If it causes compile failure on <R15B (if I understood it correctly from
> this thread), maybe it would be possible to wrap -callback
> specifications with Erlang version macros?
> This way R15B dialyzer users would be happy, and R14B and below would
> not be forced to upgrade.
> Regards,
> Motiejus

Motiejus Jakštys

More information about the erlang-questions mailing list