[erlang-questions] Wrong advertised spec of lists:append/2
Joseph Wayne Norton
norton@REDACTED
Thu Mar 28 15:38:44 CET 2013
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
More information about the erlang-questions
mailing list