CODEWITHSUNDEEP
typeserlangdialyzer
Max Heiber
Max Heiber

Reputation: 15502

What is Dialyzer with succ_typings false?

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.

Upvotes: 1

Views: 78

Answers (1)

2240
2240

Reputation: 1710

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.

Upvotes: 3

Related Questions