Types 什么是成功打字的透析器错误？

我认为透析器是检查打字是否成功的工具。然而，它的公共API有一个成功键入错误选项。Rebar3的透析器提供商通过暴露

使用和不使用此选项运行透析器有什么区别

---

这些文档是。

看起来像以前的分析类型（Nyström，2003）和后来的成功类型（

成功类型

）

数据流软键入从停止，请参阅：

• 透析器的分析从现在起完全基于成功打字。 特别是，对选项

  --old_style

  和

  --dataflow

  的支持得到了改进 中止

---

看起来以前的分析类型被称为（Nyström，2003）和后来的成功键入（

success_-typings

）

数据流软键入从停止，请参阅：

• 透析器的分析从现在起完全基于成功打字。 特别是，对选项

  --old_style

  和

  --dataflow

  的支持得到了改进 中止