Hi Ivan,<div><br></div><div>I have added your patch in a series of patches for Dialyzer I am about to send. I have also amended it to include the testcase you provide.</div><div><br></div><div>Just for the record, if a test is not supposed to return any warnings, including it in Dialyzer's testsuites is as simple as putting the source file in one of the *_SUITE_data/src directories (if warnings are expected, they should be listed in a similar file in *_SUITE_data/results).</div>
<div><br></div><div>Thank you for your contribution,</div><div><br></div><div>Stavros</div><div><br><div class="gmail_quote">On Thu, Jul 14, 2011 at 12:03 PM, Ivan Dubrov <span dir="ltr"><<a href="mailto:wfragg@gmail.com">wfragg@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">Hi,<br>
<br>
Please consider the patch to the dialyzer to suppress warnings emitted on certain binary comprehensions, like << <<>> || {A, B} <- [{a, b}] >>, caused by compiler-emitted default clause. Dialyzer already have a code that suppresses the warning for regular list comprehensions, but it does not work for binary comprehensions.<br>

<br>
Unfortunately, I did not understood how to implement a test case for dialyzer, so I have not created one. Attached is a test file, run "dialyzer test.erl" to get the warning:<br>
   test.erl:7: The pattern <[_ | _], _> can never match the type <[],<<_:_*1>>><br>
<br>
Fetch fix from:<br>
<br>
git fetch git://<a href="http://github.com/idubrov/otp.git" target="_blank">github.com/idubrov/otp.<u></u>git</a> dialyzer_bincomp_bug<br><font color="#888888">
<br>
-- <br>
WBR,<br>
Ivan S. Dubrov<br>
<br>
<br>
</font><br>_______________________________________________<br>
erlang-patches mailing list<br>
<a href="mailto:erlang-patches@erlang.org" title="[GMCP] Compose a new mail to erlang-patches@erlang.org" onclick="window.open('https://mail.google.com/mail/?view=cm&fs=1&tf=1&to=erlang-patches@erlang.org','Compose new message','width=640,height=480');return false" rel="noreferrer">erlang-patches@erlang.org</a><br>

<a href="http://erlang.org/mailman/listinfo/erlang-patches" target="_blank">http://erlang.org/mailman/listinfo/erlang-patches</a><br>
<br></blockquote></div><br></div>