[erlang-questions] internal dialyzer error

[Kostis Sagonas]

Joel Reymont wrote:
> What does this mean?
> 
> dialyzer  -c . --src --build_plt
> 
> {dialyzer_error,[65,110,97,108,121,115,105,115,32,109,117,
> 115,116,32,98,101,32,100,111,110,101,32,111,110,32,98,121,              
> 116,101,32,99,111,100,101,32,105,110,32,97,110,97,108,121,
>                   115,105,115,32,109,111,100,101,32,"plt_build"]}
> [{dialyzer_options,check_output_plt,1},
>   {dialyzer_options,postprocess_opts,1},
>   {dialyzer_options,build,1},
>   {dialyzer_cl_parse,cl,1},
>   {dialyzer_cl_parse,start,0},
>   {dialyzer,plain_cl,0},
>   {init,start_it,1},
>   {init,start_em,1}]
> 
> dialyzer: Internal problems were encountered in the analysis.

You can use the following:

  io:format("~s\n", 
[[65,110,97,108,121,115,105,115,32,109,117,115,116,32,98,101,32,100,111,110,101,32,111,110,32,98,121,116,101,32,99,111,100,101,32,105,110,32,97,110,97,108,121,115,105,115,32,109,111,100,101,32,"plt_build"]]).

Analysis must be done on byte code in analysis mode plt_build

> %% from beam
> 
> dialyzer  -c . --build_plt
> 
> Could not compute md5 for file: /Users/joelr/Work/openpoker/server/src/ 
> betting.beam

This means that the betting.beam file does not contain abstract code.
If you want to build a PLT with it, you need to compile the file with 
+debug_info.

Kostis


PS. Please try to submit a proper bug reports: minimally include info
     about OTP version and platform used.