[erlang-questions] Wrong advertised spec of lists:append/2
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?
> Joe N.
> On Mar 28, 2013, at 11:12 PM, Pierre Fenoll <pierrefenoll@REDACTED>
> > > 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...
More information about the erlang-questions