Dialyzer says it passed successfully.<br><br><div class="gmail_quote">On 28 March 2013 15:38, Joseph Wayne Norton <span dir="ltr"><<a href="mailto:norton@lovely.email.ne.jp" target="_blank">norton@lovely.email.ne.jp</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
Pierre -<br>
<br>
Just in case ... have you tried running Dialyzer on your program?  If so, what does Dialyzer report?<br>
<br>
regards,<br>
<br>
Joe N.<br>
<div class="HOEnZb"><div class="h5"><br>
On Mar 28, 2013, at 11:12 PM, Pierre Fenoll <<a href="mailto:pierrefenoll@gmail.com">pierrefenoll@gmail.com</a>> wrote:<br>
<br>
> > It's not a contradiction, as kostis noted specs are not complete<br>
> > enumerations of all possible argument types.<br>
><br>
> Well, lists:append/2 asks for a list() as a second argument. Shouldn't<br>
> it badarg when I give it 'a', as in lists:append([], a) ?<br>
</div></div><div class="HOEnZb"><div class="h5">> _______________________________________________<br>
> erlang-questions mailing list<br>
> <a href="mailto:erlang-questions@erlang.org">erlang-questions@erlang.org</a><br>
> <a href="http://erlang.org/mailman/listinfo/erlang-questions" target="_blank">http://erlang.org/mailman/listinfo/erlang-questions</a><br>
<br>
</div></div></blockquote></div><br>