Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://github.com/elixir-lsp/elixir-ls/issues/502 below:

Dialyzer does not pick up changes involving remote types · Issue #502 · elixir-lsp/elixir-ls · GitHub

• Elixir & Erlang versions (elixir --version): 1.11, 23.2
• Editor Plugin/LSP Client name: current master

1. create Module1 that defines a public type my_type and Module2 uses Module1.my_type e.g. in callback or spec.
2. introduce a type error involving Module1.my_type
3. fix the error by changing my_type definition in Module1

Dialyzer diagnostic persists regardless of error being fixed.

The diagnostic goes away after forcing recompilation of Module2

Unfortunately this is due to elixir compiler design choices - remote types do not introduce compile-time dependancy (and since 1.12 runtime dependancy, see elixir-lang/elixir#10406)

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4