<!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>