hi anders,<br><br>transport_accept/2 does return {ok, NewSocket} | {error, Reason} in my example here below. plus, it's the ssl_accept/2 that dialyzer is complaining on, at line 4.<br><br><div class="gmail_quote">2011/3/25 Anders Nygren <span dir="ltr"><<a href="mailto:anders.nygren@gmail.com">anders.nygren@gmail.com</a>></span><br>
<blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">According to the documentation transport_accept/2 returns<br>
{ok, NewSocket} | {error, Reason}<br>
Which is what dialyzer also claims. So Your case clause on line 4<br>
can never match.<br>
<br>
/Anders<br>
<div><div></div><div class="h5"><br>
On Thu, Mar 24, 2011 at 2:27 PM, Roberto Ostinelli <<a href="mailto:roberto@widetag.com">roberto@widetag.com</a>> wrote:<br>
> dear list,<br>
><br>
> i'm getting this dialyzer warning i cannot understand:<br>
><br>
> "The pattern 'ok' can never match the type {'error',_} |<br>
> {'ok',{'sslsocket',_,_}}"<br>
><br>
> this points to line 4 of this code extract:<br>
><br>
> 1. case ssl:transport_accept(ListenSocket) of<br>
> 2.    {ok, {sslsocket, _, _} = Sock} -><br>
> 3.        case ssl:ssl_accept(Sock, 60000) of<br>
> 4.            ok -><br>
>                 ...<br>
> 5.            {error, _Reason} -><br>
>                 ...<br>
> 6.        end<br>
> 7.    {error, _Reason} -><br>
>         ...<br>
> 8. end<br>
><br>
> afaik, ssl_accept/2 returns ok | {error, Reason} as per the specs:<br>
> <a href="http://www.erlang.org/doc/man/ssl.html#ssl_accept-2" target="_blank">http://www.erlang.org/doc/man/ssl.html#ssl_accept-2</a><br>
><br>
> is this due to some discrepancy in docs/specs? or am i missing something?<br>
><br>
> thank you,<br>
><br>
> r.<br></div></div></blockquote></div><br>