[erlang-questions] Dialyzer woes

Dmitrii Dimandt <>
Tue Sep 7 08:39:55 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
> 
> 



Thanks! It worked!


>> 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


Guess, I'll have to this sooner or later :)


More information about the erlang-questions mailing list