Elixir LS not showing warnings

What are your elixirLS.dialyzerEnabled settings?

Not defined. Same behaviour with explicit true.

Working as expected.

Screenshot 2021-07-01 at 08.57.10988×550 33.5 KB

I don’t doubt ElixirLS works. It does not on my machine and I’m trying to figure out why

Look in the Output pane in VS Code (remember to select Elixir LS in the dropdown) to see if there’s some explicit problem.

image1297×364 47.6 KB

Hi,

Thank you for your reply. I posted part of the output in my first post. Besides the versions, there is nothing special in it.

I can see the issue with Erlang 24.0. Switching to Erlang 24.0.3 fixes it.

I can partially reproduce with OTP 22 and 24 (switched between these 3 times and always the same behaviour). 22 shows both warnings, 24 only one.

$ asdf global erlang 22.3.4.20 
$ asdf global elixir 1.11.4-otp-22

--> Function hello/0 has no local return.
--> The function call will not succeed. (MyApp.default(1))

$ asdf global erlang 24.0.3 
$ asdf global elixir 1.12.2-otp-24 

--> Function hello/0 has no local return.

also showing both:

erlang 23.3.4.1  
elixir 1.12.1-otp-23 

Which Elixir version?

EDIT:
I installed erlang 24.0. and can confirm, that I also do not get any warnings displayed.
Also the output of ElixirLS differs.

Output with 24.0.3:

Started ElixirLS v0.7.0
Elixir version: "1.12.2 (compiled with Erlang/OTP 24)"
Erlang version: "24" # 24.0.3
ElixirLS compiled with Elixir 1.8.2 and erlang 21
MIX_ENV: test
MIX_TARGET: 
[Info  - 1:54:55 PM] Compile took 732 milliseconds
[Info  - 1:54:55 PM] [ElixirLS Dialyzer] Checking for stale beam files
[Info  - 1:54:55 PM] [ElixirLS WorkspaceSymbols] Indexing...
[Info  - 1:54:55 PM] [ElixirLS Dialyzer] Found 32 changed files in 26 milliseconds
[Info  - 1:54:55 PM] [ElixirLS Dialyzer] Analyzing 0 modules: []
[Info  - 1:54:55 PM] [ElixirLS Dialyzer] Analysis finished in 28 milliseconds
[Info  - 1:54:55 PM] [ElixirLS WorkspaceSymbols] Module discovery complete
[Info  - 1:54:55 PM] Dialyzer analysis is up to date
[Info  - 1:54:55 PM] [ElixirLS WorkspaceSymbols] 181 modules added to index
[Info  - 1:54:55 PM] [ElixirLS WorkspaceSymbols] 22 callbacks added to index
[Info  - 1:54:56 PM] [ElixirLS Dialyzer] Writing manifest...
[Info  - 1:54:56 PM] [ElixirLS WorkspaceSymbols] 280 types added to index
[Info  - 1:54:58 PM] [ElixirLS Dialyzer] Done writing manifest in 3144 milliseconds.
[Info  - 1:55:02 PM] [ElixirLS WorkspaceSymbols] 3971 functions added to index

Output with 24.0:

Started ElixirLS v0.7.0
Elixir version: "1.12.2 (compiled with Erlang/OTP 24)"
Erlang version: "24" # 24.0
ElixirLS compiled with Elixir 1.8.2 and erlang 21
MIX_ENV: test
MIX_TARGET: 
[Info  - 1:56:52 PM] Compile took 605 milliseconds
[Info  - 1:56:52 PM] [ElixirLS WorkspaceSymbols] Indexing...
[Info  - 1:56:52 PM] [ElixirLS Dialyzer] Checking for stale beam files
[Info  - 1:56:52 PM] [ElixirLS Dialyzer] Found 32 changed files in 21 milliseconds
[Info  - 1:56:52 PM] [ElixirLS WorkspaceSymbols] Module discovery complete
[Info  - 1:56:52 PM] [ElixirLS WorkspaceSymbols] 26 callbacks added to index
[Info  - 1:56:52 PM] [ElixirLS WorkspaceSymbols] 185 modules added to index
[Info  - 1:56:52 PM] [ElixirLS WorkspaceSymbols] 285 types added to index
[Info  - 1:56:55 PM] [ElixirLS WorkspaceSymbols] 3990 functions added to index

I think Elixir version doesn’t make a difference, to reproduce just use erlang 24.0 (without any patches) or erlang 24.0.2 and there will be no warnings shown. Dialyzer returns

{:warn_return_no_exit, {'lib/my_app.ex', 0}, {:no_return, [:only_normal, :hello, 0]}}

so this is probably related to Fix lost line numbers in Dialyzer warnings for Elixir code by michallepicki · Pull Request #4890 · erlang/otp · GitHub. With 24.0.3 I also see only one warning.

can confirm that there are no warnings with erlang 24.0 and 24.0.2. But still there is a warning missing for 24.0.3