JakeBecker/ide-elixir

0.2.25 dialyzer_manifest wouldn't get generated (except for one single project)

Closed this issue · 3 comments

I think this is ide-elixir not elixir-ls, and the problem may be related to:
#19
#20

Description

I've just installed it, upgraded to elixir 1.9. The PLT building was okay, and the dialyzer_manifest got generated for the open project (only one) in .elixir_ls. I opened another project but the dialyzer_manifest just wouldn't get generated for that, and for any other project either. So there seem to be still an issue.

System

$ uname -a
Linux bacer 4.15.0-54-generic #58-Ubuntu SMP Mon Jun 24 10:55:24 UTC 2019 x86_64 x86_64 x86_64 GNU/Linux
$ atom --version
Atom    : 1.38.2
Electron: 2.0.18
Chrome  : 61.0.3163.100
Node    : 8.9.3
$ elixir -v
Erlang/OTP 22 [erts-10.4.4] [source] [64-bit] [smp:4:4] [ds:4:4:10] [async-threads:1] [hipe]

Elixir 1.9.1 (compiled with Erlang/OTP 21)
$ apt show elixir
Package: elixir
Version: 1.9.1-1
...
$ apt show esl-erlang
Package: esl-erlang
Version: 1:22.0.7-1
...

Is there a way to trigger dialyzer_manifest generation?

Okay, I deleted .elixir_ls in the projects where dialyzer didn't work, and then, after starting Atom, elixir-ide regenerated the dir, and the whole thing worked, including dialyzer.

"Now" it works. Hm. The problem may have been something related to the specific atom version or whatever. Now I open a project and the appropriate manifest just gets generated, and voila, dialyzer works.