Stack Overflow
Stack Overflow

Questions tagged [dialyzer]

Dialyzer is a tool that detects discrepancies in programs written in Erlang.

Dialyzer is a tool that detects discrepancies in programs written in Erlang. These may be:

  1. Function calls that are certain to fail
  2. Clauses that will never match
  3. Errors in the type specifications of records and functions
  4. Violations of the opacity of certain data structures

It does not require any modification in the code under examination (but it can use any type annotations provided) and can efficiently analyze single modules, applications or whole systems. It is part of Erlang/OTP distribution and is actively maintained by its developers.

You can read more here: http://erlang.org/doc/man/dialyzer.html

109 questions
0
votes
2 answers

How to use dialyzer with parse transform modules

I'm trying to use dialyzer on my erlang application but here's the output : dialyzer \ --src -r src \ -pa /home/niahoo/src/popos \ -pa /home/niahoo/src/popos/deps/parse_trans \ --verbose Checking whether the PLT…
lud
  • 1,941
  • 20
  • 35
-1
votes
1 answer

Elixir Dialyzer error when accessing struct prop using dot syntax

Having updated my project to use Elixir 1.12 I've noticed Dialyzer complaining about certain places where I've accessed the property of a struct using dot notation. For example here's a graphql resolver function in my app: def update(_root, %{input:…
harryg
  • 23,311
  • 45
  • 125
  • 198
-1
votes
2 answers

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

Background The newest version of Elixir (1.7.X) has a bug that prevents the usage of dialyzer 16. Now, I am aware that some previous versions were free from this problem, but I don’t know which ones. What I tried I have tested the following…
Flame_Phoenix
  • 16,489
  • 37
  • 131
  • 266
-1
votes
1 answer

Dialyzer Warnings in erlang, Records construction and improper lists

I am trying to fix the warnings in erlang code found from dialyzer. i came across few errors like record construction and improper lists what causes these errors. can anyone explain it. thank you!
kuchu
  • 23
  • 4
1 2 3 4 5 6 7
8