[erlang-questions] dialyzer crash

[Ahmed Omar]

I'm not a dialyzer expert, but the crash could be a bug in dialyzer or
typer. (some problem with formatting warnings)
could you try running with --raw option?

On Sat, Dec 10, 2011 at 11:45 PM, Roman Shestakov <
romanshestakov@REDACTED> wrote:

> hello,
>
> I am having a problem with running dialyzer, it started crashing with  the
> following err.:
>
> bash-3.2$ dialyzer -Wno_return --plt ~/.ec_master_dialyzer_plt ebin
>   Checking whether the PLT /Users/romanshestakov/.ec_master_dialyzer_plt
> is up-to-date... yes
>   Compiling some key modules to native code... done in 1m26.60s
>   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}]}}
>
> Crash dump was written to: erl_crash.dump
> init terminating in do_boot ()
>
> I am using Erlang R14B04 (erts-5.8.5)
>
> what would be the best way to isolate the offending code?
> 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.
>
> Regards, Roman
>
> _______________________________________________
> erlang-questions mailing list
> erlang-questions@REDACTED
> http://erlang.org/mailman/listinfo/erlang-questions
>
>


-- 
Best Regards,
- Ahmed Omar
http://nl.linkedin.com/in/adiaa
Follow me on twitter
@spawn_think <http://twitter.com/#!/spawn_think>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20111212/184efcf3/attachment.htm>