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

Kostis Sagonas kostis@REDACTED
Thu Jan 5 15:01:47 CET 2012

On 01/05/12 15:43, Steve Davis wrote:
> Hmmmmm....
> http://groups.google.com/group/erlang-programming/browse_thread/thread/e832d2b29dd76bd3/4c121493ee324e0e?lnk=gst&q=lundin+type+spec#4c121493ee324e0e

Your point being what exactly??  That because specs are optional, 
dialyzer should not produce warnings when finding behaviour modules 
without callbacks?  Running dialyzer is also optional...


> On Jan 5, 4:40 am, Kostis Sagonas<kos...@REDACTED>  wrote:
>> To avoid this warning the developers of
>> cowboy need to adapt its code so that it contains -callback attributes
>> instead of a behaviour_info/1 function. (This function will be generated
>> automatically if callback attributes are present.) But of course this
>> will mean that cowboy will require R15B. Until this change is done, you
>> can either create your own version of this module with proper callback
>> information in it, or use the -Wno_behaviours command line option of
>> dialyzer.
>> Kostis
>> _______________________________________________
>> erlang-questions mailing list
>> erlang-questi...@REDACTED://erlang.org/mailman/listinfo/erlang-questions
> _______________________________________________
> erlang-questions mailing list
> erlang-questions@REDACTED
> http://erlang.org/mailman/listinfo/erlang-questions

More information about the erlang-questions mailing list