Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

OTP-24.3 PLT not being built #453

Open
vans163 opened this issue Mar 13, 2022 · 0 comments
Open

OTP-24.3 PLT not being built #453

vans163 opened this issue Mar 13, 2022 · 0 comments

Comments

@vans163
Copy link
Contributor

vans163 commented Mar 13, 2022

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
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant