StackOverflow Questions for Tag: dialyzer

Flame_Phoenix

Reputation: 17574

Polymorphic types for dialyzer in Elixir

erlangelixirdialyzer

Score: 2

Answers: 1

Will Sewell

Reputation: 2643

Dialyzer says function will never be called, even though it is

erlangelixirdialyzer

Score: 8

Answers: 1

norok2

Reputation: 26886

`changeset()` spec requires nullable type which is not logically nullable

typeselixirdialyzertypespec

Score: 1

Answers: 1

Max Heiber

Reputation: 15502

How can I get Dialyzer to accept a call to a function that intentionally throws?

erlangdialyzer

Score: 2

Answers: 2

Max Heiber

Reputation: 15502

Dialyzer warns about no_exit on bad record construction - is this a bug?

erlangdialyzer

Score: 4

Answers: 1

Max Heiber

Reputation: 15502

Is casting to `any()` a good solution for having Dialyzer accept ETS match patterns?

erlangdialyzer

Score: 3

Answers: 1

Max Heiber

Reputation: 15502

What is Dialyzer with succ_typings false?

typeserlangdialyzer

Score: 1

Answers: 1

mljrg

Reputation: 4620

Why does Dialyzer not catch this simple error?

erlangdialyzer

Score: 5

Answers: 1

Max Heiber

Reputation: 15502

Why does Dialyzer believe specs with too-specific return types?

erlangdialyzer

Score: 3

Answers: 2

legoscia

Reputation: 41568

Does Rebar3 compile Dialyzer modules with HiPE?

erlangdialyzerrebar3

Score: 3

Answers: 2

Raaz444

Reputation: 85

How do I fix a "will never return since the success typing is [...] and the contract is.." from Dialyzer?

erlangdialyzer

Score: 2

Answers: 1

beoliver

Reputation: 5759

Erlang Dialyzer integer ranges

erlangdialyzer

Score: 3

Answers: 2

Limmen

Reputation: 1457

Understanding dialyzer result

erlangdialyzer

Score: 2

Answers: 1

2240

Reputation: 1710

Why does dialyzer fail on nocatch?

erlangdialyzer

Score: 1

Answers: 1

Patrick J. S.

Reputation: 2935

How to avoid a “can never match” error from Dialyzer in a `with` statement that has a match all `else`?

elixirtypecheckingdialyzer

Score: 18

Answers: 2

ppopoff

Reputation: 678

Type of non-terminating function in Erlang

typeserlangdialyzer

Score: 5

Answers: 2

prnsml

Reputation: 2642

How to fix Dialyzer "Callback info about the '.....' behaviour is not available" error for new Mix.Tasks

elixirdialyzer

Score: 32

Answers: 1

Max Heiber

Reputation: 15502

Why do type specs in OTP repeat parameter names?

erlangdialyzertypespec

Score: 1

Answers: 1

Jesse Shieh

Reputation: 4850

How to override a function or variable type in Elixir and Dialyzer?

elixirdialyzertimex

Score: 0

Answers: 1

Ashton Wiersdorf

Reputation: 2010

What does PLT stand for?

erlangdialyzer

Score: 3

Answers: 1

PreviousPage 2Next

StackOverflow Questions for Tag: dialyzer

Polymorphic types for dialyzer in Elixir

Dialyzer says function will never be called, even though it is

`changeset()` spec requires nullable type which is not logically nullable

How can I get Dialyzer to accept a call to a function that intentionally throws?

Dialyzer warns about no_exit on bad record construction - is this a bug?

Is casting to `any()` a good solution for having Dialyzer accept ETS match patterns?

What is Dialyzer with succ_typings false?

Why does Dialyzer not catch this simple error?

Why does Dialyzer believe specs with too-specific return types?

Does Rebar3 compile Dialyzer modules with HiPE?

How do I fix a &quot;will never return since the success typing is [...] and the contract is..&quot; from Dialyzer?

Erlang Dialyzer integer ranges

Understanding dialyzer result

Why does dialyzer fail on nocatch?

How to avoid a “can never match” error from Dialyzer in a `with` statement that has a match all `else`?

Type of non-terminating function in Erlang

How to fix Dialyzer &quot;Callback info about the &#39;.....&#39; behaviour is not available&quot; error for new Mix.Tasks

Why do type specs in OTP repeat parameter names?

How to override a function or variable type in Elixir and Dialyzer?

What does PLT stand for?

How do I fix a "will never return since the success typing is [...] and the contract is.." from Dialyzer?

How to fix Dialyzer "Callback info about the '.....' behaviour is not available" error for new Mix.Tasks