gpt4 book ai didi

erlang - 我可以告诉 Dialyzer 忽略某些模块吗?

转载 作者:行者123 更新时间:2023-12-02 06:33:27 26 4
gpt4 key购买 nike

我正在使用

构建 PLT
dialyzer  --output_plt lib.plt --build_plt --apps stdlib kernel mnesia ssl public_key crypto erts asn1 inets sasl odbc

它会吐出一些关于我不关心的模块中未知函数的错误。例如:

  Compiling some key modules to native code... done in 1m10.81s
Creating PLT lib.plt ...
Unknown functions:
compile:file/2
compile:forms/2
compile:noenv_forms/2

我可以告诉透析器忽略这些吗?我真的应该关心他们吗?

最佳答案

要忽略您不想分析的特定函数的警告,您可以将其添加到您的模块中:

-dialyzer({nowarn_function, f/0}).

或者这样做以避免模块中出现特定警告:

-dialyzer(no_improper_lists).

完整信息:http://erlang.org/doc/man/dialyzer.html#suppression

关于erlang - 我可以告诉 Dialyzer 忽略某些模块吗?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/21239331/

26 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com