Question

Dialyzer cannot recognize types from dependencies

score 41 · Answer 1 · 2024-02-20T17:14:33.943000

41

Views

Dialyzer cannot recognize types from dependencies

Published on 20 February 2024 at 17:14

score 61 · Answer 2 · 2024-01-06T10:19:17.347000

61

Views

Dialyzer: Unknown Type re:mp()

Published on 06 January 2024 at 10:19

score 113 · Answer 3 · 2023-11-03T13:11:42.807000

113

Views

Dialyxir issue with macro code transformation

Published on 03 November 2023 at 13:11

score 77 · Answer 4 · 2023-01-28T10:55:11.153000

77

Views

How to specify arguments and return types for functions within functions using the Erlang Dialyzer?

Published on 28 January 2023 at 10:55

score 145 · Answer 5 · 2023-01-26T09:48:17.323000

145

Views

How to typespec guards in a human friendly way?

Published on 26 January 2023 at 09:48

score 66 · Answer 6 · 2023-01-25T13:31:36.690000

66

Views

Why doesn't Erlang's Dialyzer detect difference in state?

Published on 25 January 2023 at 13:31

score 83 · Answer 7 · 2022-12-28T19:22:22.517000

83

Views

Different behaviour when producing annotations with Erlang Typer

Published on 28 December 2022 at 19:22

score 104 · Answer 8 · 2022-08-16T22:51:37.870000

104

Views

Dialyzer simplifies long union types

Published on 16 August 2022 at 22:51

score 172 · Answer 9 · 2022-07-19T12:27:14.777000

172

Views

Dialyzer hates my behaviour @callback definition

Published on 19 July 2022 at 12:27

score 76 · Answer 10 · 2022-07-17T07:57:09.417000

76

Views

Dialyzer check only the first case of the function

Published on 17 July 2022 at 07:57

score 116 · Answer 11 · 2022-05-18T11:48:43.763000

116

Views

What are the requirements for position of custom attributes in an Erlang module?

Published on 18 May 2022 at 11:48

score 629 · Answer 12 · 2022-02-16T16:33:06.627000

629

Views

Dialyzer cannot recognize error in function using polymorphic types

Published on 16 February 2022 at 16:33

score 456 · Answer 13 · 2022-02-16T08:44:00.350000

456

Views

Dialyzer does not catch errors on returned functions

Published on 16 February 2022 at 08:44

score 345 · Answer 14 · 2022-02-01T16:19:04.097000

345

Views

Elixir Behaviour that returns the implementer's struct type

Published on 01 February 2022 at 16:19

score 1.2k · Answer 15 · 2021-07-08T03:42:33.230000

1.2k

Views

How do I fix dialyzer unknown_function errors from dependencies?

Published on 08 July 2021 at 03:42

score 293 · Answer 16 · 2021-06-25T09:04:24.100000

293

Views

Elixir Dialyzer error when accessing struct prop using dot syntax

Published on 25 June 2021 at 09:04

score 223 · Answer 17 · 2021-06-22T10:07:12.433000

223

Views

Polymorphic types for dialyzer in Elixir

Published on 22 June 2021 at 10:07

score 365 · Answer 18 · 2021-02-16T11:16:17.497000

365

Views

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

Published on 16 February 2021 at 11:16

score 204 · Answer 19 · 2021-01-15T12:08:58.637000

204

Views

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

Published on 15 January 2021 at 12:08

score 119 · Answer 20 · 2020-12-29T17:14:34.377000

119

Views

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

Published on 29 December 2020 at 17:14

List Question

Dialyzer cannot recognize types from dependencies

Dialyzer: Unknown Type re:mp()

Dialyxir issue with macro code transformation

How to specify arguments and return types for functions within functions using the Erlang Dialyzer?

How to typespec guards in a human friendly way?

Why doesn't Erlang's Dialyzer detect difference in state?

Different behaviour when producing annotations with Erlang Typer

Dialyzer simplifies long union types

Dialyzer hates my behaviour @callback definition

Dialyzer check only the first case of the function

What are the requirements for position of custom attributes in an Erlang module?

Dialyzer cannot recognize error in function using polymorphic types

Dialyzer does not catch errors on returned functions

Elixir Behaviour that returns the implementer's struct type

How do I fix dialyzer unknown_function errors from dependencies?

Elixir Dialyzer error when accessing struct prop using dot syntax

Polymorphic types for dialyzer in Elixir

`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?

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

Trending Questions

Popular # Hahtags

Popular Questions