我如何修正“因为成功的输入是[.]而合同是.”，“将永远不会回来”从Dialyzer？
我如何修正“因为成功的输入是[.]而合同是.”，“将永远不会回来”从Dialyzer？
提问于 2018-07-02 14:01:23
我正在使用透析器修复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()]我不明白问题出在哪里，有人能解释一下吗？
谢谢
回答 1
Stack Overflow用户
回答已采纳
发布于 2018-07-02 14:37:40
我建议阅读io手册页。它的用法很简单：
1> io:format("hello ~p~n", [world]). % ~n means newline
hello world
ok
2> io:format("hello ~p~n", [<<"world">>]).
hello <<"world">>
ok
3> io:format("hello ~s~n", [<<"world">>]).
hello world
ok在上面，透析器告诉你，io:format/2 (format/2指的是接受2个参数的函数format )接受atom()、string()或binary()作为第一个参数，以零或多个元素作为第二个参数的列表。根据您的代码，透析器检测到IoDevice是Erlang pid()，而不是string()或binary()。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/51137980
复制相关文章
相似问题
腾讯云开发者
