You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Finding suitable PLTs
Checking PLT...
[:asn1, :axon, :compiler, :crypto, :elixir, :erlport, :exjsx, :exla, :java_erlang, :jsx, :kernel, :logger, :matrex, :nx, :public_key, :ssl, :stdlib, :table_rex]
Looking up modules in dialyzer.plt
Looking up modules in dialyxir_erlang-24.3_elixir-1.13.3.plt
Looking up modules in dialyxir_erlang-24.3.plt
Finding applications for dialyxir_erlang-24.3.plt
Finding modules for dialyxir_erlang-24.3.plt
Creating dialyxir_erlang-24.3.plt
:dialyzer.run error: Analysis failed with error:
{function_clause,
[{dialyzer_codeserver,get_callbacks,
[{function_clause,
[{erl_types,initial_typenames,
[{type,{counters,counters_ref,0},"counters.erl"}],
[{file,"erl_types.erl"},{line,4579}]},
{erl_types,t_from_form1,6,[{file,"erl_types.erl"},{line,4559}]},
{dialyzer_utils,'-process_opaque_types/3-fun-0-',6,
[{file,"dialyzer_utils.erl"},{line,313}]},
{lists,mapfoldl,3,[{file,"lists.erl"},{line,1358}]},
{dialyzer_utils,'-process_opaque_types/3-fun-1-',5,
[{file,"dialyzer_utils.erl"},{line,324}]},
{lists,foreach,2,[{file,"lists.erl"},{line,1342}]},
{dialyzer_utils,process_opaque_types0,3,
[{file,"dialyzer_utils.erl"},{line,296}]},
{dialyzer_utils,process_record_remote_types,1,
[{file,"dialyzer_utils.erl"},{line,238}]}]}],
[{file,"dialyzer_codeserver.erl"},{line,351}]},
{dialyzer_plt,insert_callbacks,2,[{file,"dialyzer_plt.erl"},{line,149}]},
{dialyzer_analysis_callgraph,analysis_start,3,
[{file,"dialyzer_analysis_callgraph.erl"},{line,143}]}]}
Last messages in the log cache:
Reading files and computing callgraph... done in 0.12 secs
Removing edges... done in 0.01 secs
Looking up modules in dialyxir_erlang-24.3.plt
** (Mix) Could not open /home/user/.mix/dialyxir_erlang-24.3.plt: no such file or directory
The text was updated successfully, but these errors were encountered:
Environment
Current behavior
mix dialyzer
The text was updated successfully, but these errors were encountered: