What is Dialyzer with succ_typings false?

74 views Asked by At

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.

1

There are 1 answers

0
2240 On

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:

  • Dialyzer's analysis is from now on exclusively based on success typings. In particular, support for options --old_style and --dataflow has been discontinued.