`
cryolite
  • 浏览: 581486 次
  • 性别: Icon_minigender_1
  • 来自: 北京
社区版块
存档分类
最新评论

使用dialyzer遇到的问题

 
阅读更多
1. 对自定义behaviour的警告
有洁癖的可能无法忍受这种警告,
Callback info about the my_module behaviour is not available
只能加这个参数
-Wno_undefined_callbacks

dialyzer --src ./src -Wno_undefined_callbacks 


参考:
http://comments.gmane.org/gmane.comp.lang.erlang.general/58259

2. 参数化模块的警告
暂时没有办法
只能去掉spec了,或者以注释的方式,或者每个fun的spec前加一个any()类型

参考
http://article.gmane.org/gmane.comp.lang.erlang.general/58586/match=dialyzer+parameterize+module
分享到:
评论

相关推荐

    Dialyzex:一个Mix任务,用于使用Dialyzer对Elixir项目进行类型检查

    `Dialyzex`是专门为Elixir构建的一个Mix任务,它简化了在项目中集成和使用Dialyzer的过程。Mix是Elixir的标准构建和任务运行工具,类似于Ruby的Rake或Node.js的npm。 在深入理解Dialyzex之前,我们首先需要了解...

    Dialyxir:混合任务以简化Elixir项目中Dialyzer的使用

    Dialyzer通过静态分析源代码来查找可能的问题,但它的使用并不直观,特别是对于Elixir开发者来说,因为Dialyzer是为Erlang设计的。Elixir虽然基于Erlang VM (BEAM),但其语法和语义与Erlang有所不同,因此在Elixir...

    erlang的小型游戏服务器

    `dialyzer_emakefile`和`Emakefile`是Erlang的Dialyzer工具配置文件,Dialyzer是一个静态分析工具,用于检查代码中的错误和潜在问题,提高代码质量。`version.txt`则记录了项目的版本信息,这对于追踪代码的迭代和...

    灵丹妙药日记:使用混合任务创建和列出日记便笺

    长生不老日记 创建并列出日记笔记 :pushpin: 目录 :construction_worker: 安装 确保已安装 。 如果您使用的是Mac,只需运行brew...使用mix credo和mix dialyzer Lint代码 :bug: 问题 随时在存储库中提交带有相应标题

    E语言搜索代码

    8. **错误处理和调试**:在搜索过程中,可能会遇到各种问题,如文件权限问题、语法错误等。Erlang提供了异常处理机制(`try...catch`)和丰富的调试工具(如`observer`),帮助开发者解决这些问题。 9. **性能优化*...

    erlex:将Erlang样式结构和错误消息转换为等效的Elixir

    通过将Dialyzer产生的Erlang格式的警告和错误消息转换为Elixir格式,开发者可以更直观地理解问题所在,无需深入Erlang的语法细节。 在压缩包文件"erlex-master"中,很可能包含了erlex项目的源代码、文档、示例和...

    erl-base32:用于Erlang的Base32和Base32hex编码

    建造您可以使用以下方法构建库: make build测试您可以使用以下命令执行测试套件: make dialyzer test您可以使用以下方法生成测试覆盖率: make cover文献资料手册可。接触如果您发现错误或有任何疑问,请随时打开...

    coc-elixir:基于elixir-ls的Elixir语言服务器扩展,用于coc.nvim

    埃克西西基于Elixir语言服务器扩展,用于 。... 它在.elixir_ls/dialyzer_manifest维护一个“清单”文件, .elixir_ls/dialyzer_manifest文件存储分析结果。 您可以使用coc-setting.json的elixirLS.dialyzerWarnO

    eplugin:一个Erlang插件管理器

    此函数是使用固定数量的参数对apply进行的简化,因此它可以在内部使用erlang:apply 。 eplugin : apply ( my_fancy_callback , [ 1 , 2 , 3 ]) =:= eplugin : call ( my_fancy_callback , 1 , 2 , 3 ).

    ex_check:一项任务,可以有效地运行Elixir项目中的所有代码分析和测试工具。 生于:purple_heart:灵药和实用主义

    使用 Ex_check 可以一键运行 Credo 检查,避免因风格问题引发的不必要的代码审查延迟。 ExUnit 是 Elixir 的内置单元测试框架,通过编写断言来验证代码行为。Ex_check 可以方便地管理和运行所有测试用例,确保每个...

    《Erlang程序设计》源码

    虽然Erlang本身是一种动态类型语言,但随着Erts(Erlang Run-Time System)的更新,它引入了类型注解和静态类型检查工具如 Dialyzer,帮助开发者发现潜在的问题和提高代码质量。 9. **并发编程实践** 书中通过...

    Erlang程序设计

    8. **类型系统**:尽管Erlang是动态类型的,但随着Erlang/OTP的版本更新,类型注解和静态类型检查工具如 Dialyzer 的引入,为代码的静态分析提供了可能,提高了代码质量。 9. **热升级**:Erlang系统支持在线代码...

    erlang环境配置借鉴.pdf

    % Dialyzer enhanced flymake checker for Erlang % Copyright (c) 2011, bkil.hu % This program is free software and can be distributed under the terms of % the GNU General Public License v2, % see ...

    erlang-rand-compat:Erlang随机数兼容性库

    Erlang随机数兼容性库 ... 避免运行时生成的模块还具有不向Dialyzer隐藏代码的好处。 使用 首先,我们需要生成并加载模块: {ok, rnd} = rand_compat:init(). 或者,您可以指定生成的模块的名称,如下所示: {ok, s

    erlang otp 19.1 官网文档 HTML格式

    - **Dialyzer**:静态代码分析工具,用于找出潜在的错误和类型不匹配。 - **公共API工具**:如XML和JSON解析器,日期和时间处理,以及其他通用功能。 **5. PR.template** `PR.template`可能是Pull Request模板,...

    phoenix-docker-compose:用于Elixir + Phoenix的Docker开发环境

    此命令将创建数据库,进行Dialyzer的前工作(如果项目已安装 ),以及进行其他所有操作。 开发人员友好的设置:装入源代码,以便容器中的更改出现在主机上,反之亦然。 快速重建,因为编写了Dockerfile来帮助Docker...

    杭州ecug会议上的演讲稿

    标签“源码 工具”暗示了演讲可能涵盖了Erlang的源代码解析和使用的一些开发工具。源码分析对于理解Erlang的运行机制和优化代码至关重要,而工具则可能涉及Erlang的开发环境如REPL(Read-Eval-Print Loop)、编译器...

    hammox:via通过类型检查对Elixir函数和模拟进行自动合同测试

    Dialyzer可以分析代码中的类型规格(typespecs),并报告可能存在的问题,如类型不匹配、未定义的函数调用等。hammox利用了这个特性,帮助开发者在编写测试时更加注重函数的输入和输出类型,以确保代码的健壮性。 ...

    rebar3_hank:Erlang死代码清除器

    (荷马·辛普森一家)建造$ rebar3 compile测试$ rebar3 test使用将插件添加到您的钢筋配置中: { project_plugins , [ rebar3_hank ]} 然后只需直接在现有应用程序中调用插件即可: $ rebar3 hank # or…$ rebar3 ...

    otp_win64 window10安装包

    3. 工具集:如REPL(Read-Eval-Print Loop)用于交互式编程, Dialyzer进行静态代码分析,以及 Debugger 和 Profiler 用于调试和性能优化。 4. 分布式能力:OTP提供了内置的分布式通信协议和工具,使得Erlang节点...

Global site tag (gtag.js) - Google Analytics