Dialyzer issue on VS Code and Vim

[mcesaro]

Describe the bug The PLT-based erlang LS features are not available on VS Code and Vim editor

To Reproduce Just open any erlang OTP 26 project with a valid PLT file generated by dialyzer on VS Code and look at the Output tab.

Expected behavior Successful processing of the dialyzer PLT file and specification suggestions working.

Actual behavior No suggestions and any other feature related to dialyzer analysis. In the VS Code output tab we see this warning message:

Warn  - 2:46:29 PM] [2023-07-24T14:46:29.804060+02:00] [warning] Cannot extract typer info., Class: error, Exception: undef, Stacktrace: [{dialyzer_plt,from_file,["/home/max/work/test/_build/default/rebar3_26.0_plt"],[]},{els_typer,collect_info,1,[{file,"/home/runner/work/vscode/vscode/erlang_ls/apps/els_lsp/src/els_typer.erl"},{line,302}]},{els_typer,get_info,1,[{file,"/home/runner/work/vscode/vscode/erlang_ls/apps/els_lsp/src/els_typer.erl"},{line,83}]},{els_code_lens_suggest_spec,init,1,[{file,"/home/runner/work/vscode/vscode/erlang_ls/apps/els_lsp/src/els_code_lens_suggest_spec.erl"},{line,29}]},{els_code_lens,lenses,2,[{file,"/home/runner/work/vscode/vscode/erlang_ls/apps/els_lsp/src/els_code_lens.erl"},{line,91}]},{els_code_lens_provider,'-run_lenses_job/1-lc$^0/1-0-',3,[{file,"/home/runner/work/vscode/vscode/erlang_ls/apps/els_lsp/src/els_code_lens_provider.erl"},{line,37}]},{els_code_lens_provider,'-run_lenses_job/1-lc$^0/1-0-',3,[{file,"/home/runner/work/vscode/vscode/erlang_ls/apps/els_lsp/src/els_code_lens_provider.erl"},{line,38}]},{els_code_lens_provider,'-run_lenses_job/1-fun-1-',2,[{file,"/home/runner/work/vscode/vscode/erlang_ls/apps/els_lsp/src/els_code_lens_provider.erl"},{line,38}]}] [els_code_lens_suggest_spec:init/1 L39] <0.486.0>

The thing I cannot explain is that in the error description:

[warning] Cannot extract typer info., Class: error, Exception: undef, Stacktrace: [{dialyzer_plt,from_file,["/home/max/work/test/_build/default/rebar3_26.0_plt"],[]}

the reference to the undocumented dialyzer_plt:from_file() function is suspect, since I can't find it in the dialyzer source code in the erlang OTP repository.

Thanks

Context

• erlang_ls version (tag/sha):

• Editor used: Version: 1.80.1 Commit: 74f6148eb9ea00507ec113ec51c489d6ffb4b771 Date: 2023-07-12T17:22:25.257Z Electron: 22.3.14 ElectronBuildId: 21893604 Chromium: 108.0.5359.215 Node.js: 16.17.1 V8: 10.8.168.25-electron.0 OS: Linux x64 6.2.1-060201-generic

• LSP client used: Erlang LS VS Code ext version 0.0.40 Server (0.44.1 -> 0.48.0) Published 11/17/2019, 22:56:41 Last released 7/8/2023, 12:23:40 Last updated 7/10/2023, 08:01:25 Identifier erlang-ls.erlang-ls

[mcesaro]

Cool, thanks. Just an observation: before opening the issue I tried to replace dialyzer_plt:from_file() with dialyzer_iplt:from_file() , but then the call still failed complaining that the PLT file generated by rebar3 dialyzer is not incremental.