dialyzer

18 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Specifying a string value in the type definition for the Elixir typespecs
user_19414180
•
7
1
1663
dialyzer elixir static-analysis typechecking erlang
Elixir / Erlang Dialyzer : Why behaviour callback's param type should be subtype instead of supertype?
user_28216320
•
3
1
545
dialyzer phoenix-framework elixir erlang
dialyzer not detecting guard violation when function is exported
user_9249540
•
6
1
390
dialyzer erlang
Function arity as a result of default parameters in elixir making dialyzer complain
user_702260
•
3
1
615
dialyzer elixir
Does Rebar3 compile Dialyzer modules with HiPE?
user_1138480
•
4
2
200
dialyzer rebar3 erlang
How do I get dialyzer to ignore certain unexported functions?
Roger_Lipscombe_84460
•
7
2
2241
dialyzer erlang
Erlang: dialyzer is dead slow for a big project
user_4368530
•
5
1
1034
dialyzer erlang
Why doesn't Dialyzer find this code wrong?
user_1651860
•
6
2
1454
dialyzer static-analysis erlang
Hot Questions