I thought Dialyzer was a tool for checking success typings. However, its public API has a succ_typings false option. Rebar3's Dialyzer provider exposes this via the --succ-typings false
command line option.
What is the difference between running Dialyzer with and without this option?
The docs are silent on this question.
Looks like the previous analysis type was called
dataflow
(Nyström, 2003) and later success typing (succ_typings
) was introduced.The dataflow soft typing is discontinued as of Erlang/OTP R12B-2, see: