Question

Erlang Dialyzer: only accept certain integers?

score 122 · Answer 1 · 2015-06-09 10:12:27

122

Views

Erlang Dialyzer: only accept certain integers?

Published on 09 June 2015 at 10:12

score 882 · Answer 2 · 2013-12-03 09:57:38

882

Views

The created fun has no local return

Published on 03 December 2013 at 09:57

score 2.4k · Answer 3 · 2013-12-05 16:18:38

2.4k

Views

How do I get dialyzer to ignore certain unexported functions?

Published on 05 December 2013 at 16:18

score 485 · Answer 4 · 2017-09-17 10:07:15

485

Views

dialyzer not detecting guard violation when function is exported

Published on 17 September 2017 at 10:07

score 33 · Answer 5 · 2023-11-03 13:11:42

33

Views

Dialyxir issue with macro code transformation

Published on 03 November 2023 at 13:11

score 198 · Answer 6 · 2012-05-20 18:52:20

198

Views

glpkerl (glpk erlang library) compile error

Published on 20 May 2012 at 18:52

score 72 · Answer 7 · 2020-12-07 16:06:11

72

Views

What is Dialyzer with succ_typings false?

Published on 07 December 2020 at 16:06

score 482 · Answer 8 · 2020-12-16 18:48:01

482

Views

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

Published on 16 December 2020 at 18:48

score 1.1k · Answer 9 · 2018-11-14 14:24:15

1.1k

Views

"Dialyzer is usually never wrong", but I can't figure out how my @spec is incorrect

Published on 14 November 2018 at 14:24

score 209 · Answer 10 · 2018-11-22 09:39:53

209

Views

Which version of elixir-otp-erlang can we use with dialyzer?

Published on 22 November 2018 at 09:39

score 1.5k · Answer 11 · 2012-08-07 18:08:14

1.5k

Views

Why doesn't Dialyzer find this code wrong?

Published on 07 August 2012 at 18:08

score 1k · Answer 12 · 2012-08-15 09:58:56

1k

Views

Erlang: dialyzer is dead slow for a big project

Published on 15 August 2012 at 09:58

score 750 · Answer 13 · 2018-10-05 18:27:59

750

Views

dialyzer fails to recognise elixir functions with error :0:unknown_function

Published on 05 October 2018 at 18:27

score 4.5k · Answer 14 · 2014-01-20 16:35:23

4.5k

Views

Can I tell Dialyzer to ignore some modules?

Published on 20 January 2014 at 16:35

score 38 · Answer 15 · 2022-12-28 19:22:22

38

Views

Different behaviour when producing annotations with Erlang Typer

Published on 28 December 2022 at 19:22

score 345 · Answer 16 · 2014-06-03 16:30:02

345

Views

Dialyzer treats correct .plt file as invalid when it used for analysis

Published on 03 June 2014 at 16:30

score 1k · Answer 17 · 2017-12-11 11:13:05

1k

Views

Custom Exceptions and type specs

Published on 11 December 2017 at 11:13

score 617 · Answer 18 · 2017-12-18 09:07:02

617

Views

Typed list typespec never breaks the contract

Published on 18 December 2017 at 09:07

score 79 · Answer 19 · 2022-05-18 11:48:43

79

Views

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

Published on 18 May 2022 at 11:48

score 228 · Answer 20 · 2017-05-12 10:03:19

228

Views

Does Rebar3 compile Dialyzer modules with HiPE?

Published on 12 May 2017 at 10:03

List Question

Erlang Dialyzer: only accept certain integers?

The created fun has no local return

How do I get dialyzer to ignore certain unexported functions?

dialyzer not detecting guard violation when function is exported

Dialyxir issue with macro code transformation

glpkerl (glpk erlang library) compile error

What is Dialyzer with succ_typings false?

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

"Dialyzer is usually never wrong", but I can't figure out how my @spec is incorrect

Which version of elixir-otp-erlang can we use with dialyzer?

Why doesn't Dialyzer find this code wrong?

Erlang: dialyzer is dead slow for a big project

dialyzer fails to recognise elixir functions with error :0:unknown_function

Can I tell Dialyzer to ignore some modules?

Different behaviour when producing annotations with Erlang Typer

Dialyzer treats correct .plt file as invalid when it used for analysis

Custom Exceptions and type specs

Typed list typespec never breaks the contract

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

Does Rebar3 compile Dialyzer modules with HiPE?

Trending Questions

Popular # Hahtags

Popular Questions