我正在使用elixir_talk库。连接后,一旦连接到beanstalkd,我想调用一个私有函数。我只是添加了typespecs并运行了Dialyzer (通过dialyxir)。我得到了错误:
my_module.ex:3: The specification for 'Elixir.MyModule':f/0 states that the function might also return 'ok' | {'error',_} but the inferred return is none()
my_module.ex:4: Function f/0 has no local return
my_module.ex:14: Function g/1 will never be called
我能找到的最小示例是
defmodule MyModule do
@spec f() :: :ok | {:error, term}
def f() do
case ElixirTalk.connect('127.0.0.1', 11300) do
{:ok, conn} ->
g(conn)
{:error, err} ->
{:error, err}
end
end
@spec g(pid) :: :ok
defp g(pid) do
:ok
end
end
如果我将对ElixirTalk.connect
的调用替换为对spawn
的调用,则Dialyzer不再报告任何问题。
defmodule MyModule do
@spec f() :: :ok
def f() do
x = spawn fn -> :done end
g(x)
end
@spec g(pid) :: :ok
defp g(pid) do
:ok
end
end
有人知道为什么透析器会在这里变得混乱吗?
发布于 2021-04-23 04:13:45
看一下源代码,类型规范说明第三个参数始终是整数,即使默认值是原子无穷大。因此,在无限超时的情况下调用ElixirTalk.connect将违反类型规范。在Erlang中,您可以通过将类型指定为timeout()来解决此问题,这既允许整数也允许无穷大;不确定这如何转换为Elixir。- legoscia 5月16日15:56
https://stackoverflow.com/questions/37255397
复制相似问题