[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?


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