<html>
  <head>
    <meta content="text/html; charset=ISO-8859-1"
      http-equiv="Content-Type">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    Hello Stavros!<br>
    This fails:<br>
    'small_SUITE : empty_list_infimum'<br>
    with reason:<br>
    <meta http-equiv="content-type" content="text/html;
      charset=ISO-8859-1">
    <span style="color: rgb(255, 255, 255); font-family: Monaco, 'Andale
      Mono', Consolas, monospace; font-size: 13px; font-style: normal;
      font-variant: normal; font-weight: normal; letter-spacing: normal;
      line-height: normal; orphans: 2; text-align: -webkit-auto;
      text-indent: 0px; text-transform: none; white-space: pre; widows:
      2; word-spacing: 0px; -webkit-text-size-adjust: auto;
      -webkit-text-stroke-width: 0px; background-color: rgb(204, 0, 0);
      display: inline !important; float: none; ">dialyzer:format_warning
      failed on line 295
      Reason: function_clause</span><br>
    On all platforms..<br>
    Please fix this, and I will re-fetch.<br>
    <br>
    BR Fredrik Gustafsson<br>
    Erlang OTP Team<br>
    On 12/14/2012 10:11 AM, Stavros Aronis wrote:
    <blockquote
cite="mid:CABOX0Z9Nf4T0WM10DfZhk2mjRdX48x5w0dJa1u9nE+-cya9DKw@mail.gmail.com"
      type="cite">This patch enables Dialyzer to detect cases where a
      function has a specification for a return type containing some
      list with elements different than those Dialyzer's own algorithm
      can infer e.g. a function specified to return [atom()] when
      actually [[atom()]] is returned.<br>
      <div class="gmail_quote">
        <div>
          <br>
        </div>
        <div>Previously Dialyzer remained silent under normal operation,
          seeing that these two types have the empty list as a common
          element, so the spec was not 'completely irrelevant'.</div>
        <div><br>
        </div>
        <div>
          Using this patch one can find discrepancies in the specs of
          stdlib's sys.erl and erl_scan.erl. Kostis and I are in contact
          with the OTP team for the best way fix those as well.</div>
        <div><br>
        </div>
        <div>  git fetch git://<a moz-do-not-send="true"
            href="http://github.com/aronisstav/otp.git" target="_blank">github.com/aronisstav/otp.git</a> dialyzer-list-spec</div>
        <div><br>
        </div>
        <div>Regards,</div>
        <div><br>
        </div>
        <div>Stavros</div>
        <div><br>
        </div>
        <div>---</div>
        <div><br>
        </div>
        <div>The new warnings are:</div>
        <div><br>
        </div>
        <div>sys.erl:303: Invalid type specification for function
          sys:handle_debug/4. The success typing is ([{_,_}],_,_,_)
          -> [{_,_}]<br>
        </div>
        <div>
          <div>
            erl_scan.erl:204: Invalid type specification for function
            erl_scan:token_info/2. The success typing is (_,'category' |
            'column' | 'length' | 'line' | 'location' | 'symbol' |
            'text' | maybe_improper_list('category' | 'column' |
            'length' | 'line' | 'location' | 'symbol' |
            'text','category' | 'column' | 'length' | 'line' |
            'location' | 'symbol' | 'text' | [])) -> 'undefined' |
            maybe_improper_list({_,_},'undefined' | [] | {_,_}) | {_,_}</div>
          <div>erl_scan.erl:242: Invalid type specification for function
            erl_scan:attributes_info/2. The success typing is
            (_,'column' | 'length' | 'line' | 'location' | 'text' |
            maybe_improper_list('column' | 'length' | 'line' |
            'location' | 'text','column' | 'length' | 'line' |
            'location' | 'text' | [])) -> 'undefined' |
            maybe_improper_list({_,_},'undefined' | [] | {_,_}) | {_,_}</div>
        </div>
        <div><br>
        </div>
      </div>
      <br>
      <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>
  </body>
</html>