Erlang 透析器 创造的乐趣没有本地返回

Question

我为我的项目运行透析器。我有:

test.erl:97: The created fun has no local return

在 97 行我有:

    List = lists:filter(fun(X) ->
                               {_, _, SomeBoolFlag} = X,
                               SomeBoolFlag == false
                        end,
                TestList)

怎么了？

谢谢你。

Answer 1

好像dialyzer发现TestList可以包含除 {_, _, SomeBoolFlag} 以外的内容元组。

你也可以稍微简化一下这段代码:

List = lists:filter(fun({_, _, Flag}) -> not Flag end, TestList)

或者:

List = [Item || Item={_, _, false} <- TestList]