SpiceQA
Questions
Tags
Users
Badges
dialyzer
18 Questions
Newest
Active
Unanswered
Frequent
More
Score
View
Card
Compact
Dialyzer simplifies long union types
user_2790174
0
•
asked Aug 16, 2022
2
1
36
dialyzer
elixir
Dialyzer check only the first case of the function
user_19565174
0
•
asked Jul 17, 2022
2
1
45
dialyzer
erlang
What are the requirements for position of custom attributes in an Erlang module?
user_2482570
0
•
asked May 18, 2022
1
1
37
dialyzer
erlang
Dialyzer cannot recognize error in function using polymorphic types
user_1337392
0
•
asked Feb 16, 2022
2
2
247
dialyzer
elixir
types
Polymorphic types for dialyzer in Elixir
user_1337392
0
•
asked Jun 22, 2021
2
1
155
dialyzer
elixir
erlang
How can I get Dialyzer to accept a call to a function that intentionally throws?
user_2482570
0
•
asked Jan 15, 2021
2
2
120
dialyzer
erlang
Is casting to `any()` a good solution for having Dialyzer accept ETS match patterns?
user_2482570
0
•
asked Dec 29, 2020
3
1
89
dialyzer
erlang
Dialyzer warns about no_exit on bad record construction - is this a bug?
user_2482570
0
•
asked Dec 23, 2020
5
1
153
dialyzer
erlang
Why does Dialyzer believe specs with too-specific return types?
user_2482570
0
•
asked Dec 16, 2020
4
2
279
dialyzer
erlang
Can I use Dialyzer GUI or the dialyzer command line tool directly without dialyxir for elixir code?
user_1386448
0
•
asked Aug 29, 2018
3
0
93
dialyzer
elixir
erlang
1
(current)
2
Next
Next
Hot Questions