What is the primary benefit of using this Dialyzer skill?

It automates the complex configuration of Dialyzer in Erlang and Elixir projects, ensuring you catch type errors and unreachable code early in the development cycle.

Does this skill help with slow Dialyzer build times?

Yes, it provides specific configurations for PLT (Persistent Lookup Table) management, which allows for incremental analysis and significantly faster CI/CD runs.

Can I use this to suppress specific warnings?

Absolutely. The skill includes patterns for both dialyzer.ignore-warnings and .dialyzer_ignore.exs files to help you manage false positives or legacy code issues.

Is this skill compatible with GitHub Actions?

Yes, it provides ready-to-use YAML snippets and formatting commands specifically designed for seamless integration with GitHub Actions and other CI providers.

Dialyzer Configuration

Name: Dialyzer Configuration
Author: TheBushidoCollective

byTheBushidoCollective

•

安全与测试

Configures Dialyzer for Erlang and Elixir projects to ensure type safety and code quality through rigorous static analysis.

This skill provides expert guidance for implementing Dialyzer, the industry-standard static analysis tool for Erlang and Elixir. It helps developers set up Persistent Lookup Tables (PLTs), manage analysis flags for strict type checking, and handle warning suppression via ignore files. By automating the boilerplate of Dialyzer setup and offering best-practice patterns for CI/CD integration, it ensures that your code remains professional, type-safe, and free of unreachable logic or unmatched return values.

主要功能

01Streamlines Mix.exs configuration for dialyxir and core Dialyzer settings.

02Includes standardized patterns for GitHub Actions and CI pipeline integration.

03Manages Persistent Lookup Table (PLT) paths for faster incremental builds.

04Provides templates for .dialyzer_ignore.exs to manage legacy code warnings.

05Configures advanced analysis flags like underspecs and unmatched_returns.

0695 GitHub stars

使用场景

01Enforcing strict type checking in a new Elixir project using standardized @spec annotations.

02Gradually adopting static analysis in legacy codebases using structured ignore patterns.

03Reducing CI build times by optimizing PLT management and application dependencies.

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add thebushidocollective/han dialyzer-configuration

For use in Claude.ai and ChatGPT

Download Skill