Dialyzer error message

classic Classic list List threaded Threaded
3 messages Options
Reply | Threaded
Open this post in threaded view
|

Dialyzer error message

Peter J Etheridge
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,[{_},{_}]},

how should i repair dialyzer?

Thank you in advance,
Peter


_______________________________________________
erlang-questions mailing list
[hidden email]
http://erlang.org/mailman/listinfo/erlang-questions
Reply | Threaded
Open this post in threaded view
|

Re: Dialyzer error message

Lukas Larsson-8
Hello,

On Thu, Jun 20, 2019 at 7:34 AM Peter J Etheridge <[hidden email]> 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

_______________________________________________
erlang-questions mailing list
[hidden email]
http://erlang.org/mailman/listinfo/erlang-questions
Reply | Threaded
Open this post in threaded view
|

Re: Dialyzer error message

Peter J Etheridge
Dear Lukas,
Thank you for your prompt response.
Is there anything i should do to stop this file from bothering dialyzer?
Many thanks,
Peter

----- Original Message -----
From:
"Lukas Larsson" <[hidden email]>

To:
"Peter J Etheridge" <[hidden email]>
Cc:
"Erlang Questions" <[hidden email]>
Sent:
Thu, 20 Jun 2019 08:54:34 +0200
Subject:
Re: [erlang-questions] Dialyzer error message


Hello,

On Thu, Jun 20, 2019 at 7:34 AM Peter J Etheridge <[hidden email]> 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_plterl"},{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

_______________________________________________
erlang-questions mailing list
[hidden email]
http://erlang.org/mailman/listinfo/erlang-questions