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

** (Mix) Could not open /filepath/.mix/dialyxir_erlang-27.2.plt: no such file or directory #552

Open
2 tasks done
r-ofarrell opened this issue Jan 5, 2025 · 0 comments
Open
2 tasks done

Comments

@r-ofarrell
Copy link

Precheck

  • Take a look at the open issues and be sure that your issue is not already covered.
    May be repeat of https://github.com/jeremyjh/dialyxir/issues/453 but there are no comments or resolution to that issue.

  • Be sure your versions of Dialyxir and Erlex are up to date.

Environment

  • Elixir & Erlang/OTP versions (elixir --version):
Erlang/OTP 27

Elixir (1.18.1)
  • Which version of Dialyxir are you using? (cat mix.lock | grep dialyxir):
  "dialyxir": {:hex, :dialyxir, "0.5.1", "b331b091720fd93e878137add264bac4f644e1ddae07a70bf7062c7862c4b952", [:mix], [], "hexpm", "6c32a70ed5d452c6650916555b1f96c79af5fc4bf286997f8b15f213de786f73"},

Current behavior

  • Describe current behavior. Include errors, stack traces, and any additional information that might be important here.
    Running mix dialyzer -plt results in the following error:
mix dialyzer -plt
Checking PLT...
[:compiler, :elixir, :erlex, :kernel, :logger, :stdlib]
Finding suitable PLTs
Looking up modules in dialyxir_erlang-27.2_elixir-1.18.1_deps-dev.plt
Looking up modules in dialyxir_erlang-27.2_elixir-1.18.1.plt
Looking up modules in dialyxir_erlang-27.2.plt
Finding applications for dialyxir_erlang-27.2.plt
Finding modules for dialyxir_erlang-27.2.plt
Creating dialyxir_erlang-27.2.plt
:dialyzer.run error: Analysis failed with error:
{undef,[{prettypr,text,["0"],[]},
        {cerl_prettypr,lay_ann,2,[{file,"cerl_prettypr.erl"},{line,402}]},
        {cerl_prettypr,format,2,[{file,"cerl_prettypr.erl"},{line,262}]},
        {dialyzer_dataflow,signal_guard_failure,5,
                           [{file,"dialyzer_dataflow.erl"},{line,2481}]},
        {dialyzer_dataflow,bind_guard,5,
                           [{file,"dialyzer_dataflow.erl"},{line,1809}]},
        {dialyzer_dataflow,handle_guard_and,5,
                           [{file,"dialyzer_dataflow.erl"},{line,2257}]},
        {dialyzer_dataflow,bind_guard,5,
                           [{file,"dialyzer_dataflow.erl"},{line,1809}]},
        {dialyzer_dataflow,bind_guard,3,
                           [{file,"dialyzer_dataflow.erl"},{line,1714}]}]}
Last messages in the log cache:
  Reading files and computing callgraph... done in 0.24 secs
  Removing edges... done in 0.01 secs
Looking up modules in dialyxir_erlang-27.2.plt
** (Mix) Could not open /fictional_home_filepath/.asdf/installs/elixir/1.18.1-otp-27/.mix/dialyxir_erlang-27.2.plt: no such file or directory

Expected behavior

  • A short description of the expected behavior.
    I expected dialyzer to create the necessary plt files for the project.
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