I'm not a dialyzer expert, but the crash could be a bug in dialyzer or typer. (some problem with formatting warnings)<div>could you try running with --raw option?<br><br><div class="gmail_quote">On Sat, Dec 10, 2011 at 11:45 PM, Roman Shestakov <span dir="ltr"><<a href="mailto:romanshestakov@yahoo.co.uk">romanshestakov@yahoo.co.uk</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div style="color:#000;background-color:#fff;font-family:times new roman,new york,times,serif;font-size:12pt"><div>
hello,</div><div><br></div><div>I am having a problem with running dialyzer, it started crashing with  the following err.:<br></div><div><br></div><div>bash-3.2$ dialyzer -Wno_return --plt ~/.ec_master_dialyzer_plt ebin<br>
  Checking whether the PLT /Users/romanshestakov/.ec_master_dialyzer_plt is up-to-date... yes<br>  Compiling some key modules to native code... done in 1m26.60s<br>  Proceeding with analysis...{"init terminating in do_boot",{function_clause,[{dialyzer,message_to_string,["Unexpected multiple opaque types"]},{dialyzer,format_warning,2},{dialyzer_cl,'-print_warnings/1-lc$^0/1-0-',2},{dialyzer_cl,'-print_warnings/1-lc$^0/1-0-',2},{dialyzer_cl,print_warnings,1},{dialyzer_cl,return_value,2},{dialyzer_cl,do_analysis,4},{dialyzer,'-cl/1-fun-0-',1}]}}<br>
<br>Crash dump was written to:
 erl_crash.dump<br>init terminating in do_boot ()</div><div><br></div><div>I am using Erlang R14B04 (erts-5.8.5)</div><div><br></div><div>what would be the best way to isolate the offending code?</div><div>I tried to run dialyzer on each beam file in my ebin separately, everything works, the crash seems to be only happening when I run against the entire ebin folder.<br>
</div><div><br></div><div>Regards, Roman<br></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><br clear="all"><div><br></div>-- <br>Best Regards,<br>- Ahmed Omar<div><a href="http://nl.linkedin.com/in/adiaa" target="_blank">http://nl.linkedin.com/in/adiaa</a></div><div>Follow me on twitter</div>
<div><a href="http://twitter.com/#!/spawn_think" target="_blank">@spawn_think</a></div><br>
</div>