Topics tagged dialyzer

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