<div dir="ltr">Again - could you provide me with a sample code .. or at least some sort of a clue to what you are dialyzing?</div><div class="gmail_extra"><br><div class="gmail_quote">2015-04-07 14:05 GMT+02:00 Ali Sabil <span dir="ltr"><<a href="mailto:ali.sabil@gmail.com" target="_blank">ali.sabil@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Hi again,<br><br>Running dialyzer shipped with 17.5 on the same code base leads now to the following error (17.4 works without any errors):<div><br></div><div><div>===> Error in dialyzing apps: Analysis failed with error:</div><div>{function_clause,[{erl_types,t_form_to_string,</div><div>                             [{type,36,map_field_assoc,</div><div>                                    {type,36,atom,[]},</div><div>                                    {type,36,term,[]}}],</div><div>                             [{file,"erl_types.erl"},{line,4546}]},</div><div>                  {erl_types,t_form_to_string_list,2,</div><div>                             [{file,"erl_types.erl"},{line,4637}]},</div><div>                  {erl_types,t_form_to_string,1,</div><div>                             [{file,"erl_types.erl"},{line,4634}]},</div><div>                  {erl_types,t_form_to_string_list,2,</div><div>                             [{file,"erl_types.erl"},{line,4637}]},</div><div>                  {erl_types,t_form_to_string,1,</div><div>                             [{file,"erl_types.erl"},{line,4634}]},</div><div>                  {dialyzer_contracts,contract_to_string_1,1,</div><div>                                      [{file,"dialyzer_contracts.erl"},</div><div>                                       {line,107}]},</div><div>                  {dialyzer_contracts,extra_contract_warning,6,</div><div>                                      [{file,"dialyzer_contracts.erl"},</div><div>                                       {line,712}]},</div><div>                  {dialyzer_contracts,picky_contract_check,7,</div><div>                                      [{file,"dialyzer_contracts.erl"},</div><div>                                       {line,686}]}]}</div><span class=""><div>Last messages in the log cache:</div></span><div>  Reading files and computing callgraph... done in 1.21 secs</div><div>  Removing edges... done in 0.04 secs</div></div><div><br></div></div><div class="HOEnZb"><div class="h5"><br><div class="gmail_quote">On Wed, Mar 18, 2015 at 12:12 PM Björn-Egil Dahlberg <<a href="mailto:egil@erlang.org" target="_blank">egil@erlang.org</a>> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On 2015-03-18 12:01, Ali Sabil wrote:<br>
> I tried to create a minimal testcase but I unfortunately haven't been<br>
> able to. I was running dialyzer on a quite large code base and now<br>
> even the unpatched dialyzer works without any issue after I fixed all<br>
> the issues reported by dialyzer.<br>
<br>
Ah, well .. I suspect it was the missing clause in find_terminals and I<br>
had it on a TODO somewhere. Should be included to 17.5.<br>
<br>
// Björn-Egil<br>
</blockquote></div>
</div></div><br>_______________________________________________<br>
erlang-questions mailing list<br>
<a href="mailto:erlang-questions@erlang.org">erlang-questions@erlang.org</a><br>
<a href="http://erlang.org/mailman/listinfo/erlang-questions" target="_blank">http://erlang.org/mailman/listinfo/erlang-questions</a><br>
<br></blockquote></div><br></div>