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

Joseph Wayne Norton <>
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 <> 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
> 
> http://erlang.org/mailman/listinfo/erlang-questions




More information about the erlang-questions mailing list