StackOverflow Questions for Tag: dialyzer

Matthew Di Nardo

Reputation: 103

Elixir typespec for fixed byte length bitstring - Dialyzer not happy

elixirbitstringdialyzer

Score: 0

Answers: 1

Pascal

Reputation: 14042

Why Dialyzer tells me that this fun contract has overlapping domains?

typeserlangdialyzer

Score: 8

Answers: 2

oky

Reputation: 65

Erlang: Why Dialyzer does not notice this error?

erlangtypecheckingdialyzer

Score: 3

Answers: 1

lapinkoira

Reputation: 8988

Dialyxir error order_by doesnt return Ecto.Query.t

elixirectodialyzertypespec

Score: 0

Answers: 1

noneuclidean

Reputation: 53

Dialyzer misses error with type specification

erlangdialyzer

Score: 5

Answers: 2

kainwen

Reputation: 376

Why Erlang Dialyzer cannot find type error in the following code?

typeserlangdialyzer

Score: 3

Answers: 1

Paul

Reputation: 4530

erlang override spec or ignore break contract error with rebar3

erlangdialyzerrebar3

Score: 1

Answers: 1

lapinkoira

Reputation: 8988

Typed list typespec never breaks the contract

elixirdialyzertypespec

Score: 1

Answers: 1

lapinkoira

Reputation: 8988

Custom Exceptions and type specs

elixirphoenix-frameworkdialyzer

Score: 0

Answers: 1

Maciej Małecki

Reputation: 2745

Specifying a string value in the type definition for the Elixir typespecs

erlangelixirstatic-analysistypecheckingdialyzer

Score: 8

Answers: 1

Ahmad Ferdous

Reputation: 3399

Elixir / Erlang Dialyzer : Why behaviour callback's param type should be subtype instead of supertype?

erlangelixirphoenix-frameworkdialyzer

Score: 3

Answers: 1

David J

Reputation: 743

dialyzer not detecting guard violation when function is exported

erlangdialyzer

Score: 6

Answers: 1

Peter Saxton

Reputation: 4676

dialyxir mix task to create PLT exits without error or creating table

elixirelixir-mixdialyzer

Score: 2

Answers: 2

kolosy

Reputation: 3099

Function arity as a result of default parameters in elixir making dialyzer complain

elixirdialyzer

Score: 3

Answers: 1

Nathaniel Waisbrot

Reputation: 24503

Can I tell Dialyzer to ignore some modules?

erlangdialyzer

Score: 5

Answers: 3

sgrove

Reputation: 1189

Why doesn't dialyzer detect this bad type?

erlangelixirdialyzer

Score: 2

Answers: 1

7stud

Reputation: 48599

Can't get opaque types to cause an abstraction violation in dialyzer

erlangdialyzer

Score: 1

Answers: 1

7stud

Reputation: 48599

Can't get dialyzer to work with evm

erlangdialyzerevm

Score: 2

Answers: 0

Mark Eric

Reputation: 793

Ecto changesets and Dialyzer errors

elixirectodialyzer

Score: 2

Answers: 1

Sergey Ovchinnik

Reputation: 502

Does type [string()] cover empty list?

erlangdialyzer

Score: 2

Answers: 1

PreviousPage 4Next

StackOverflow Questions for Tag: dialyzer

Elixir typespec for fixed byte length bitstring - Dialyzer not happy

Why Dialyzer tells me that this fun contract has overlapping domains?

Erlang: Why Dialyzer does not notice this error?

Dialyxir error order_by doesnt return Ecto.Query.t

Dialyzer misses error with type specification

Why Erlang Dialyzer cannot find type error in the following code?

erlang override spec or ignore break contract error with rebar3

Typed list typespec never breaks the contract

Custom Exceptions and type specs

Specifying a string value in the type definition for the Elixir typespecs

Elixir / Erlang Dialyzer : Why behaviour callback&#39;s param type should be subtype instead of supertype?

dialyzer not detecting guard violation when function is exported

dialyxir mix task to create PLT exits without error or creating table

Function arity as a result of default parameters in elixir making dialyzer complain

Can I tell Dialyzer to ignore some modules?

Why doesn&#39;t dialyzer detect this bad type?

Can&#39;t get opaque types to cause an abstraction violation in dialyzer

Can&#39;t get dialyzer to work with evm

Ecto changesets and Dialyzer errors

Does type [string()] cover empty list?

Elixir / Erlang Dialyzer : Why behaviour callback's param type should be subtype instead of supertype?

Why doesn't dialyzer detect this bad type?

Can't get opaque types to cause an abstraction violation in dialyzer

Can't get dialyzer to work with evm