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