[erlang-questions] Wrong advertised spec of lists:append/2

Pierre Fenoll pierrefenoll@REDACTED
Thu Mar 28 16:04:31 CET 2013


Dialyzer says it passed successfully.

On 28 March 2013 15:38, Joseph Wayne Norton <norton@REDACTED>wrote:

>
> Pierre -
>
> Just in case ... have you tried running Dialyzer on your program?  If so,
> what does Dialyzer report?
>
> regards,
>
> Joe N.
>
> On Mar 28, 2013, at 11:12 PM, Pierre Fenoll <pierrefenoll@REDACTED>
> wrote:
>
> > > It's not a contradiction, as kostis noted specs are not complete
> > > enumerations of all possible argument types.
> >
> > Well, lists:append/2 asks for a list() as a second argument. Shouldn't
> > it badarg when I give it 'a', as in lists:append([], a) ?
> > _______________________________________________
> > 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/20130328/31b55f83/attachment.htm>


More information about the erlang-questions mailing list