Elixir, etc. - Dialyzer Warnings

Written by Rich Morin.

Contents: (hide) (show)

Path:  AreasContentOverviews

Precis:  a summary of Dialyzer warnings

Many of Dialyzer’s warnings are explained, with example code, by Dialyxir’s online help (e.g., mix dialyzer.explain <warning>). The following list summarizes these, for convenience.

Warning List

Unexplained Warnings

Quite a few of the warnings have no explanation at present: app_call, bin_construction, call_with_opaque, contract_diff, contract_range, fun_app_args, improper_list_constr, missing_range, opaque_eq, opaque_guard, opaque_neq, opaque_type_test, race_condition, record_constr, record_matching, unknown_behaviour, unknown_function