Hi,<br>First, thanks for dialyzer contributors: dialyzer find caveat as fast as I write bug :)<br><br>However, it seems to fail to understand this code:<br>I open a TCP socket with option [{active, false}, {packet,http}],<br>
thus I should be able to write something along the line of:<br>case gen_tcp:recv(Sock, 0, TO) -><br>{ok, {http_request, M, P, V}} -> ...<br>Any -> ...<br>end<br><br>The code works, but dialyzer complains that 'case' around gen_tcp:recv can never match {'error',atom()} | {'ok',binary() | possibly_improper_list()}
<br>... looks like dialyzer do not understand the non-documented feature (http packet + active false)<br><br>Is it a known behaviour? Am I doing something wrong?<br>