[erlang-questions] Dialyzer woes

Dmitrii Dimandt <>
Mon Sep 6 14:19:57 CEST 2010


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 could of course upgrade my Erlang instalation, but I guess that feels a bit wrong — to upgrade it just because of dialyzer :)

I guess, I'll try to get this working as it's now. Is there a way to recompile erlang libs with debug_info? 



> Dmitrii Dimandt wrote:
>> I'm trying to run dialyzer under both MacOS X and Ubuntu. Every time I run it I get the following error:
>> dialyzer: Analysis failed with error: Cannot locate module erl_syntax to resolve the remote type: erl_syntax:syntaxTree()
>> Is this curable?
> 
> It's a bit difficult to tell you exactly what to do as you do not specify which Erlang/OTP version you are using but the answer to your question is "Yes". Depending on your OTP version, you have two options:
> 
> 1. Include the 'syntax_tools' application in your PLT.
> 2. Upgrade to a later Erlang/OTP version.
> 
> Kostis



More information about the erlang-questions mailing list