无与伦比的记录器 returns

Question

静态分析器透析器（我通过 dialyxir 使用它）将 Logger (Logger.info "blah") 的所有使用情况报告为无与伦比的 return:

Expression produces a value of type 'ok' | {'error',_}, but this value is unmatched

我可以写 :ok  = Logger.info "blah" 但显然，它很麻烦。我还可以使用 -Wno_unmatched_returns 配置透析器以忽略所有这些警告。但是，我发现它们非常有用，我不想忽略它们。

documentation of dialyzer 说我们可以使用模块属性在每个模块的基础上停用警告，但我看不出是否只能将此信息放在 Elixir 源文件中。

有没有办法配置 Dialyzer 以忽略此类警告，但仅针对 Logger？

Answer 1

有@dialyzer 属性的文档here。您需要稍微向下搜索页面才能找到它。

在这种特殊情况下，我相信以下模块属性：

@dialyzer {:no_return, your_function_name: 1}

应该给你你想要的。只需将它放在您使用 Logger 的每个模块的顶部，如下所示：

defmodule MyLogging do
 @dialyzer {:no_return, your_function_name: 1}
 .
 .
 .

请注意，您似乎只能关闭当前模块中功能的警告。也就是说，似乎无法关闭不同模块中函数的警告（例如 Logger.info: 1）。