1

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.

2240
  • 1,547
  • 2
  • 12
  • 30
Max Heiber
  • 14,346
  • 12
  • 59
  • 97

1 Answers1

3

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.
piet.t
  • 11,718
  • 21
  • 43
  • 52
2240
  • 1,547
  • 2
  • 12
  • 30