【问题标题】:Dialyzer Warnings in erlang, Records construction and improper listserlang中的透析器警告,记录构造和不正确的列表
【发布时间】:2018-07-05 00:19:45
【问题描述】:

我正在尝试修复从透析器中找到的 erlang 代码中的警告。我遇到了一些错误,例如记录构建和不正确的列表是什么导致了这些错误。谁能解释一下。

谢谢!

【问题讨论】:

  • 你能显示透析器错误和错误来自的代码(一些行)吗?

标签: erlang dialyzer


【解决方案1】:

正确的列表

[1|[2]]

不当列表

[1|2]

...这可能是由于定义了这样的函数:

f([H|[]]) -> H-1;
f([H|T]) -> [H - 1 | f(T) ].

代替:

f([H|[]]) -> [H-1];
f([H|T]) -> [H - 1 | f(T) ].

记录构建错误

http://erlang.org/pipermail/erlang-questions/2013-June/074118.html

我在 erlang 20.2 中没有遇到该记录构造错误。

【讨论】:

    猜你喜欢
    • 2014-12-24
    • 1970-01-01
    • 2016-01-22
    • 2022-11-17
    • 1970-01-01
    • 2011-06-24
    • 2019-12-31
    • 1970-01-01
    • 1970-01-01
    相关资源
    最近更新 更多