<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
</head>
<body bgcolor="#ffffff" text="#000000">
On 07/16/2011 02:13 PM, Stavros Aronis wrote:
<blockquote
cite="mid:CABOX0Z9LUzgqiijRAK0ZECT5Dc5WrE9GFgaGYAA7xU5-MKKdPg@mail.gmail.com"
type="cite">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 moz-do-not-send="true"
href="mailto:wfragg@gmail.com">wfragg@gmail.com</a>></span>
wrote:<br>
<blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt
0.8ex; border-left: 1px solid rgb(204, 204, 204);
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 moz-do-not-send="true"
href="http://github.com/idubrov/otp.git" target="_blank">github.com/idubrov/otp.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 moz-do-not-send="true"
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 moz-do-not-send="true"
href="http://erlang.org/mailman/listinfo/erlang-patches"
target="_blank">http://erlang.org/mailman/listinfo/erlang-patches</a><br>
<br>
</blockquote>
</div>
<br>
</div>
<pre wrap="">
<fieldset class="mimeAttachmentHeader"></fieldset>
_______________________________________________
erlang-patches mailing list
<a class="moz-txt-link-abbreviated" href="mailto:erlang-patches@erlang.org">erlang-patches@erlang.org</a>
<a class="moz-txt-link-freetext" href="http://erlang.org/mailman/listinfo/erlang-patches">http://erlang.org/mailman/listinfo/erlang-patches</a>
</pre>
</blockquote>
Hi<br>
Thank you for the contribution, <br>
I will include this via the branch Stavros mentions in this email.<br>
<br>
<br>
<pre class="moz-signature" cols="72">--
/Henrik Nord Erlang/OTP</pre>
</body>
</html>