Mix.Task.Dialyze

Install

Add as a dependency:

defp deps() do
  [{:dialyze, "~> 0.1.2"}]
end

Fetch and compile:

mix do deps.get, deps.compile

Usage

Carry out success typing analysis on any mix project:

mix dialyze

To just check the PLT and skip success typing analysis:

mix dialyze --no-analyse

On subsequent calls for the same project checking the PLT can be skipped. This should only be done if the build environment's dependencies have not changed since the PLT were last checked:

mix dialyze --no-check

To skip compiling the project:

mix dialyze --no-compile

To turn on additional warnings:

mix dialyze --unmatched-returns --error-handling --race-conditions --underspecs

All switches are boolean and can be used in any combination, the default is:

mix dialyze --compile --check --analyse --no-unmatched-returns --no-error-handling --no-race-conditions --no-underspecs