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条答案
按热度按时间wfypjpf41#
看起来以前的分析类型被称为
dataflow（Nyström，2003），后来成功的类型为（succ_typings）was introduced。自Erlang/OTP R12B-2起，数据流软类型已停止，请参阅：
--old_style和--dataflow的支持已经停止。