小编Raa*_*444的帖子

我正在使用 Dialyzer 修复 Erlang 代码中的错误。

io:format(IoDevice, "[]");

此行产生以下错误：

The call io:format(IoDevice::pid(),[91 | 93,...]) 
  will never return since the success typing is
  (atom() | binary() | string(),[any()]) -> 'ok' 
  and the contract is (Format,Data) -> 'ok' 
  when Format :: format(), Data :: [term()]

我无法理解问题出在哪里有人可以解释一下吗？

谢谢