dear list,<br><br>i'm getting this dialyzer warning i cannot understand:<br><br>"The pattern 'ok' can never match the type {'error',_} | {'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 <a name="ssl_accept-2"><span class="bold_code">ok | {error, Reason} as per the specs:<br>http://www.erlang.org/doc/man/ssl.html#ssl_accept-2<br>
<br>is this due to some discrepancy in docs/specs? or am i missing something?<br><br>thank you,<br><br>r.<br></span></a>