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

[Steve Davis]

My exact point being your statement:

"the developers of cowboy need to adapt its code"
No they don't. Nor should they ever have to.

I am concerned that this is the thin end of a very large wedge.

With respect,
/s

On Jan 5, 8:01 am, Kostis Sagonas <kos...@REDACTED> wrote:
> On 01/05/12 15:43, Steve Davis wrote:
>
>
>
> > Hmmmmm....
>
> >http://groups.google.com/group/erlang-programming/browse_thread/threa...
>
> 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...
>
> Kostis
>
>
>
>
>
>
>
>
>
> > 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-questi...@REDACTED
> >http://erlang.org/mailman/listinfo/erlang-questions
>
> _______________________________________________
> erlang-questions mailing list
> erlang-questi...@REDACTED://erlang.org/mailman/listinfo/erlang-questions