[erlang-questions] Dialyzer error message

Lukas Larsson lukas@REDACTED
Thu Jun 20 08:54:34 CEST 2019


Hello,

On Thu, Jun 20, 2019 at 7:34 AM Peter J Etheridge <petergi@REDACTED>
wrote:

> Dear Friends,
> on erlang v.22 & ubuntu 18
> When i;
>
> dialyzer --gui
>
> i get this error;
>
> {"init terminating in
> do_boot",{{case_clause,{{nocatch,{dialyzer_error,[78,111,116,32,97,32,114,101,103,117,108,97,114,32,102,105,108,101,58,32,"/usr/lib/erlang/lib/erts-10.3.4/ebin/atomics.beam",10]}},[{dialyzer_plt,compute_md5_from_file,1,[{file,"dialyzer_plt.erl"},{line,543}]},{dialyzer_plt,compute_new_md5_1,3,[{file,"dialyzer_plt.erl"},{line,509}]},{dialyzer_plt,check_plt1,3,[{file,"dialyzer_plt.erl"},{line,485}]},{dialyzer_plt,'-subproc/1-fun-0-',1,[{file,"dialyzer_plt.erl"},{line,603}]}]}},[{dialyzer_cl,check_plt,3,[{file,"dialyzer_cl.erl"},{line,250}]},{dialyzer_cl,plt_common,3,[{file,"dialyzer_cl.erl"},{line,183}]},{dialyzer,'-cl_check_init/1-fun-0-',1,[{file,"dialyzer.erl"},{line,94}]},{dialyzer,doit,1,[{file,"dialyzer.erl"},{line,236}]},{dialyzer,plain_cl,0,[{file,"dialyzer.erl"},{line,65}]},{init,start_em,1,[]},{init,do_boot,3,[]}]}}
> init terminating in do_boot
> ({{case_clause,{{nocatch,{_}},[{_},{_},{_},{_}]}},[{dialyzer_cl,check_plt,3,[{_},{_}]},{dialyzer_cl,plt_common,3,[{_},{_}]},{dialyzer,-cl_check_init/1-fun-0-,1,[{_},{_}]},
>

If you do:

1>
io:format("~s",[[78,111,116,32,97,32,114,101,103,117,108,97,114,32,102,105,108,101,58,32,"/usr/lib/erlang/lib/erts-10.3.4/ebin/atomics.beam",10]]).
Not a regular file: /usr/lib/erlang/lib/erts-10.3.4/ebin/atomics.beam

You can see that dialyzer is trying to tell you that atomics.beam is not a
regular file.

Lukas
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20190620/7b99f12d/attachment.htm>


More information about the erlang-questions mailing list