<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><div>Last messages in the log cache:</div><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><br><div class="gmail_quote">On Wed, Mar 18, 2015 at 12:12 PM Björn-Egil Dahlberg <<a href="mailto:egil@erlang.org">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>