<html>
  <head>
    <meta content="text/html; charset=ISO-8859-1"
      http-equiv="Content-Type">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    great, thanks!<br>
    <div class="moz-cite-prefix">On 11/30/2012 10:48 AM, Stavros Aronis
      wrote:<br>
    </div>
    <blockquote
cite="mid:CABOX0Z8wt-Go=GHiHjj6sCrUpWduB-xc90MwdofpLXYp2WDU8A@mail.gmail.com"
      type="cite">Sometimes Dialyzer would report violations of the
      expected types in some record fields when this was not guaranteed
      to be the case. This patch fixes this problem.
      <div><br>
      </div>
      <div>  git fetch git://<a moz-do-not-send="true"
          href="http://github.com/aronisstav/otp.git">github.com/aronisstav/otp.git</a>
        dialyzer-record-pattern</div>
      <div><br>
      </div>
      <div>Regards,</div>
      <div><br>
      </div>
      <div>Stavros</div>
      <br>
      <fieldset class="mimeAttachmentHeader"></fieldset>
      <br>
      <pre wrap="">_______________________________________________
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>
    <br>
    <pre class="moz-signature" cols="72">-- 
/Henrik Nord Erlang/OTP</pre>
  </body>
</html>