[erlang-questions] Dialyzer error

[Kostis Sagonas]

Vlad Dumitrescu wrote:
> Hi!
> 
> I'm trying to use the latest dialyzer to analyze the R11 code. It
> looks like it doesn't work, is there anything I can do or is it not
> supported?

It's not supported, but here is some support anyway ;-)

> C:\Apps\erlide>c:\apps\erl5.6.5\bin\dialyzer.exe  --build_plt --plt
> std.plt -r c:\apps\erl5.5.5\lib\stdlib-1.14.5
 > ...
> Analysis failed with error: Could not scan the following file(s):
> [{"c:/apps/erl5.5.5/lib/stdlib-1.14.5/ebin/io_lib_pretty.beam",
>                                         "  Could not get core for:

Looks like (though I might be wrong in this guess) that these .beam 
files do not contain debug_info in them.  If that's the case, you need 
to re-create them with +debug_info and see what happens then.

Kostis