search

jeremyjh / dialyxir

Mix tasks to simplify use of Dialyzer in Elixir projects.
Apache License 2.0
1.69k stars 141 forks source link

OTP-24.3 PLT not being built #453

Open vans163 opened 2 years ago

vans163 commented 2 years ago

Environment

Erlang/OTP 24 [erts-12.3] [source] [64-bit] [smp:8:8] [ds:8:8:10] [async-threads:1] [jit]

Elixir 1.13.3 (compiled with Erlang/OTP 24)
  "dialyxir": {:hex, :dialyxir, "1.1.0", "c5aab0d6e71e5522e77beff7ba9e08f8e02bad90dfbeffae60eaf0cb47e29488", [:mix], [{:erlex, ">= 0.2.6", [hex: :erlex, repo: "hexpm", optional: false]}], "hexpm", "07ea8e49c45f15264ebe6d5b93799d4dd56a44036cf42d0ad9c960bc266c0b9a"},

Current behavior

mix dialyzer

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