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

[Steve Davis]

I'd like to add the following thought: the greatest barrier to
understanding code is not input/output types but the *intent* of the
function; and that this is the real missing piece that plagues
maintainability.

2c
/s

On Jan 6, 5:41 pm, Steve Davis <steven.charles.da...@REDACTED> wrote:
> 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
>
> _______________________________________________
> erlang-questions mailing list
> erlang-questi...@REDACTED://erlang.org/mailman/listinfo/erlang-questions