我有一些代码是不合格的透析器，我不明白为什么。无论我将什么放入函数顶部的@spec中，对该函数的调用都会返回一个令人费解的透析器错误。这里是函数的简化。据我所知，我正确地说明了这个函数。balances(uuid) do _ -> [] # Dialyzer error here透析器警告说
浏览 0提问于2018-11-14得票数 1
回答已采纳
endmix start
但是我得到了透析器的错误，那个Callback info about the 'Elixir.Mix.Task' behaviour is
浏览 1提问于2018-07-06得票数 27
回答已采纳
1回答
地图注解中的许多问题
、、、
目标是从数据库中读取项目，并使它们在地图中引脚。引脚应该是一个不同的颜色，如果项目已被标记为一个最爱。 view.tintColor = .blue return view这是查询返回的实际数据创建新视图:塞米诺尔透析中心
浏览 0提问于2018-03-28得票数 2
1回答
当我运行透析器时，我得到以下输出： 143: The pattern [_ | Rest] can never match the type []
我对透析器很陌生，很难解释透析器的输出。我的erlang版本是Erl
浏览 2提问于2016-08-08得票数 2
回答已采纳
2回答
下面的Erlang代码在它的类型规范中似乎有一个明显的错误，但是透析器说一切正常。我是误会了，还是这是透析器的问题？运行于Erlang 19.3
-module(foobar).
浏览 0提问于2018-03-04得票数 5
回答已采纳
透析器版本2.9。Erts 7.3。OTP 18。-module(dialBug).但是，当我取消注释第三行并导出f1/1函数透析器时，不再发出任何警告。我意识到，当f1/1输出时，透析器不可能知道防护条款将失败，因为外部客户可以使用它。但是，为什么它无法再确定test/0不正确地使用f1/1？
浏览 4提问于2017-09-17得票数 6
1回答
每周频率-透析数据集
、、、、
我有一个1995-2014年的透析数据。它有变量"id“、"name”、"date“和”情态“。id name date modality
1010
浏览 1提问于2018-09-27得票数 0
回答已采纳
现在，我尝试使用透析器和使用-spec，-type。test.erl:12: The call erlang:'+'('bad' | [49,...],1) will never return since it differs inthe 1st argument from the success typing arguments: (
浏览 0提问于2018-04-03得票数 3
回答已采纳
1回答
有没有可以跳过这个错误的透析器标志，或者我做错了什么。-module(base).-.erl:41:调用缺失或未导出的函数-：-/3
是我做错了什么，还是透析器发出了不必要的警告？
浏览 0提问于2012-04-02得票数 2
回答已采纳
我有一个在代码中没有-spec或-type的项目，目前透析器可以找到一些警告，其中大部分是机器生成的代码。
在代码中添加类型规格会使透析器发现更多错误吗？
浏览 1提问于2015-12-21得票数 8
回答已采纳
铸造到any()是一个很好的解决方案，让透析器接受ETS匹配模式？
上面的
浏览 4提问于2020-12-29得票数 3
回答已采纳
3回答
一些地方提到，在编译时检查具有关联-specs指令的函数(以确保正确的类型用法)……我似乎找不到更多关于如何使用它的信息(使用哪个工具-透析器，TypEr?)。
浏览 11提问于2009-02-10得票数 10
回答已采纳
我有个难题：-export([add/2]).add(A,B)->A+B.
我可以在没有error.but的情况下编译这个程序，我想我应该得到行的错误在任何静态类型语言中，它都不能编译，那么erlang为什么要编译这个呢？
编写类型签名以便erlang能够捕捉到此错误?如果erlang不能，那么可以使用同样的程序来编写吗
浏览 5提问于2021-11-25得票数 3
回答已采纳
在定义函数子句时，我应该有多严格？例如，我不知道在这样的函数中使用什么样式：
def measure(args = %{times: times, path: path}) when is_integer(tim
浏览 1提问于2015-03-12得票数 4
回答已采纳
1回答
背景为了这个的目的，我使用 (包括版本)，因为它使我的生活更容易。透析器的作者证实，这对他们来说不是一个问题，所以暂时排除了这种可能性。12:12] [ds:12:12:10] [async-threads:1] [jit]
如果它应该捕获错误，什么可能是失败的？(是
浏览 8提问于2022-02-16得票数 1
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
即时通信 IM
腾讯会议活动推荐
腾讯云开发者
