Erlang Forums
dialyzer
Topic
Replies
Views
Activity
Dialyzer warnings on match spec records and warnings from ignored functions
Questions / Help
dialyzer
,
match-spec
5
129
February 25, 2026
Rebar3 dialyzer requires plt_extra_apps, even though they're in deps
Questions / Help
dialyzer
,
rebar3
1
53
February 12, 2026
Configurable limits in Dialyzer
Proposals: Ideas
dialyzer
,
erlang-otp
0
152
June 17, 2025
Erlang.mk: make dialyze fails with unknown functions that exist in OTP
Questions / Help
dialyzer
0
67
June 3, 2025
Dialyzer - wondering why I don't get an error
Questions / Help
dialyzer
,
erlang
7
214
February 7, 2025
Binary literals as types
Questions / Help
typespec
,
types
,
dialyzer
,
erlang
7
160
September 20, 2024
Dialyzer treats atoms like `errors_400` in unexpected way: bug or my misunderstanding?
Questions / Help
dialyzer
1
72
September 13, 2024
Spec clauses - any way except parse transformations to make specs more precise?
Questions / Help
dialyzer
,
erlang
11
234
September 12, 2024
Dialyzer and exported types
Questions / Help
rebar3
,
dialyzer
2
103
July 31, 2024
Unknown type ranch:ref/0 dialyzer warning in cowboy_req on Erlang/OTP 26
Questions / Help
cowboy
,
dialyzer
11
836
November 2, 2023
Can't define type "product()" in OTP 26.0.2
Questions / Help
dialyzer
,
erlang
5
481
August 23, 2023
Query Erlang code base for certain code patterns?
Questions / Help
xref
,
tools
,
dialyzer
6
493
August 22, 2023
The pattern ... can never match since previous clauses completely covered the type ...
Questions / Help
dialyzer
2
603
June 7, 2023
How is the new Dialyzer `--incremental` mode different?
Questions / Help
dialyzer
2
1317
February 17, 2023
Erlydtl and dialyzer warnings
Questions / Help
dialyzer
8
698
November 4, 2022
Some thoughts on Callbacks
Chat / Discussions
dialyzer
,
gen_statem
8
1223
September 27, 2022
Do you use Dialyzer in your Erlang projects?
Polls
polls
,
dialyzer
8
1160
May 27, 2022