[erlang-questions] Dialyzer woes

Kostis Sagonas <>
Mon Sep 6 14:32:33 CEST 2010


Dmitrii Dimandt wrote:
> Indeed, my bad. Had my mind elsewhere :)
> 
> My Erlang/OTP version is: Erlang R13B04 (erts-5.7.5)
> 
> So here's an account of my quest for dialyzer :)
> 
>> dialyzer --build_plt -r .
> dialyzer: Analysis failed with error: Cannot locate module erl_syntax to resolve the remote type: erl_syntax:syntaxTree()
> 
>> dialyzer --build_plt -r . /opt/local/lib/erlang/lib/syntax_tools-1.6.5/
> dialyzer: Analysis failed with error: Cannot locate module file to resolve the remote type: file:filename()
> 
>> dialyzer --build_plt -r . /opt/local/lib/erlang/lib/
> dialyzer: Could not get abstract code for file: /opt/local/lib/erlang/lib/ssl-3.10.8/examples/certs/ebin/make_certs.beam (please recompile it with +debug_info)

I think you are making your life unnecessarily complicated.  Use the 
following command which will most probably be sufficient:

	dialyzer --build_plt --apps erts kernel stdlib syntax_tools


> I could of course upgrade my Erlang instalation, but I guess that feels a bit wrong — to upgrade it just because of dialyzer :)

Trust me: there are more reasons to upgrade.

kostis


More information about the erlang-questions mailing list