Synthèse automatique
Guide la configuration de Dialyzer (via Dialyxir) pour les projets Erlang/Elixir : gestion des PLT, options d'analyse, fichiers d'exclusion d'avertissements et intégration en CI.
Points forts
- Fournit des extraits de configuration concrets pour mix.exs, .dialyzer_ignore.exs et dialyzer.ignore-warnings
- Détaille la gestion des PLT (plt_add_apps, plt_core_path, plt_file, plt_add_deps) pour accélérer l'analyse
- Explique chaque option d'analyse (:underspecs, :unmatched_returns, :error_handling, :overspecs, :unknown)
- Inclut un exemple d'intégration GitHub Actions avec --format github et des bonnes pratiques d'adoption progressive
Limites
- Ne couvre que la configuration côté Mix/Dialyxir, pas l'usage direct de dialyzer en ligne de commande ni rebar3
- N'explique pas comment corriger les avertissements ni comment rédiger des @spec complets
- La sémantique fine des filtres d'ignore (correspondance exacte vs regex, portée par module) reste peu détaillée
À utiliser lorsqu'il faut mettre en place ou ajuster l'analyse statique Dialyzer dans un projet Elixir/Erlang, notamment les PLT, les flags et les exclusions d'avertissements.
À éviter si le projet n'est pas en Elixir/Erlang, ou s'il s'agit de diagnostiquer et corriger un avertissement Dialyzer précis plutôt que de le configurer.
Analyse de sécurité
SûrThe skill is purely documentation about Dialyzer configuration for Erlang/Elixir. It contains no instructions to execute destructive commands, exfiltrate data, obfuscate payloads, or disable safety mechanisms.
Aucun point d'attention détecté
Comment cette analyse est faiteExemples
Add Dialyxir to my Elixir project with a project-local PLT in priv/plts, enable :underspecs and :unmatched_returns, and turn on list_unused_filters.Create a .dialyzer_ignore.exs that ignores :unknown_function warnings for everything under lib/legacy/ but keeps unused-filter reporting enabled.Add a GitHub Actions step that runs mix dialyzer --format github, and show the conditional mix.exs dependency setup for dev and test only.name: dialyzer-configuration description: Use when configuring Dialyzer for Erlang/Elixir type checking and static analysis. allowed-tools: []
Dialyzer Configuration
Dialyzer is a static analysis tool for Erlang and Elixir that identifies software discrepancies such as type errors, unreachable code, and unnecessary tests.
Configuration Files
dialyzer.ignore-warnings
# Ignore specific warnings
lib/my_module.ex:42:pattern_match_cov
.dialyzer_ignore.exs
[
{"lib/generated_code.ex", :no_return},
{~r/lib\/legacy\/.*/, :unknown_function}
]
mix.exs Configuration
def project do
[
app: :my_app,
dialyzer: [
plt_add_apps: [:mix, :ex_unit],
plt_core_path: "priv/plts",
plt_file: {:no_warn, "priv/plts/dialyzer.plt"},
flags: [:error_handling, :underspecs, :unmatched_returns],
ignore_warnings: ".dialyzer_ignore.exs",
list_unused_filters: true
]
]
end
Common Configuration Options
PLT Management
plt_add_apps: Additional applications to include in PLTplt_core_path: Directory for core PLT filesplt_file: Custom PLT file locationplt_add_deps: Include dependencies (:app_tree,:apps_direct,:transitive)
Analysis Flags
:error_handling- Check error handling:underspecs- Warn on under-specified functions:unmatched_returns- Warn on unmatched return values:unknown- Warn on unknown functions/types:overspecs- Warn on over-specified functions
Filter Options
ignore_warnings: File with warning patterns to ignorelist_unused_filters: Show unused ignore patterns
Best Practices
- Incremental PLT Building: Use project-specific PLTs to speed up analysis
- Gradual Adoption: Start with subset of checks, expand over time
- CI Integration: Run Dialyzer in continuous integration
- Type Specs: Add comprehensive @spec annotations
- Warning Management: Document intentional ignores
Common Patterns
Conditional Analysis
if Mix.env() in [:dev, :test] do
{:dialyxir, "~> 1.4", only: [:dev, :test], runtime: false}
end
Custom Check Script
#!/bin/bash
mix dialyzer --format github
GitHub Actions Integration
- name: Run Dialyzer
run: mix dialyzer --format github
Du fichier au premier essai
Le téléchargement contient exactement le contenu affiché sur cette fiche. Cette copie peut différer de la dernière version du dépôt source.
Consulter la source et ses fichiers annexesCe téléchargement contient uniquement SKILL.md. Les scripts, références, modèles et dépendances éventuels ne sont pas inclus. Récupérez les fichiers nécessaires depuis la source en conservant leur arborescence avant de poursuivre.
1. Télécharger le fichier
Télécharger SKILL.mdDepuis la racine d’un projet de test, enregistrez le fichier sous .skill-downloads/dialyzer-configuration-mmio716t/SKILL.md, ou utilisez la commande suivante. Ce dossier sert à examiner la skill avant son installation.
Commande pour macOS/Linux ou WSL : un shell POSIX et curl sont nécessaires. Sous Windows sans WSL, utilisez le bouton de téléchargement et créez le dossier manuellement.
mkdir -p '.skill-downloads/dialyzer-configuration-mmio716t' && curl --fail --show-error --location 'https://skills-guides.com/api/skills/dialyzer-configuration-mmio716t/download' --output '.skill-downloads/dialyzer-configuration-mmio716t/SKILL.md.part' && mv '.skill-downloads/dialyzer-configuration-mmio716t/SKILL.md.part' '.skill-downloads/dialyzer-configuration-mmio716t/SKILL.md'2. Vérifier les prérequis
Lisez SKILL.md avant de l’utiliser. Si le fichier cite des scripts ou services externes, examinez-les et préparez les accès nécessaires dans votre environnement de test.
Aucune section de prérequis reconnue dans ce fichier. Cela ne signifie pas qu’il est autonome : les bibliothèques, outils et accès peuvent être cités ailleurs dans le contenu ou dans le dépôt source.
Les plateformes de la fiche sont des indications du catalogue. Les chemins ci-dessous suivent la documentation des outils ; ils ne prouvent pas que cette skill y a été exécutée. Aucune version minimale de ces outils n’est attestée pour cette fiche.
3. Charger la skill
Après vérification, copiez le dossier complet dans le projet avec l’une des commandes ci-dessous, puis ouvrez une nouvelle session de l’outil. La commande s’arrête si un dossier du même nom existe déjà : comparez les fichiers avant de le remplacer.
Claude Code
test -f '.skill-downloads/dialyzer-configuration-mmio716t/SKILL.md' && test -s '.skill-downloads/dialyzer-configuration-mmio716t/SKILL.md' && mkdir -p '.claude/skills' && test ! -e '.claude/skills/dialyzer-configuration' && cp -R '.skill-downloads/dialyzer-configuration-mmio716t' '.claude/skills/dialyzer-configuration'Cursor
test -f '.skill-downloads/dialyzer-configuration-mmio716t/SKILL.md' && test -s '.skill-downloads/dialyzer-configuration-mmio716t/SKILL.md' && mkdir -p '.cursor/skills' && test ! -e '.cursor/skills/dialyzer-configuration' && cp -R '.skill-downloads/dialyzer-configuration-mmio716t' '.cursor/skills/dialyzer-configuration'Codex
test -f '.skill-downloads/dialyzer-configuration-mmio716t/SKILL.md' && test -s '.skill-downloads/dialyzer-configuration-mmio716t/SKILL.md' && mkdir -p '.agents/skills' && test ! -e '.agents/skills/dialyzer-configuration' && cp -R '.skill-downloads/dialyzer-configuration-mmio716t' '.agents/skills/dialyzer-configuration'OpenSkills
OpenSkills doit déjà être installé. La procédure locale install/read est contrôlée avec OpenSkills 1.5.0, qui exige Node.js ≥ 20.6.0. Aucun slug du catalogue n’est résolu automatiquement.
Installation officielle d’OpenSkillsopenskills install './.skill-downloads/dialyzer-configuration-mmio716t'openskills read 'dialyzer-configuration-mmio716t'La lecture doit afficher le contenu du fichier installé et son dossier de base. Elle ne lance ni la skill ni ses dépendances.
Pour un agent qui lit AGENTS.md, synchronisez ensuite l’index. Cette commande modifie AGENTS.md : relisez le diff avant de l’utiliser.
openskills syncMode manuel ou autre outil : joignez SKILL.md à une conversation, ou ouvrez-le dans un agent capable de lire les fichiers. Ajoutez les ressources annexes nécessaires. Il n’existe pas de dossier universel reconnu par tous les outils.
4. Faire un premier essai
Utilisez une entrée courte et fictive : un endpoint d’API, un petit document ou un brief d’interface. Dans une nouvelle conversation, joignez le fichier ou donnez son chemin à l’agent, puis adaptez cette demande :
Lis .skill-downloads/dialyzer-configuration-mmio716t/SKILL.md et applique ses instructions à cet exemple : [décrire une entrée de test]. Indique les fichiers, dépendances ou accès qui manquent. Produis le résultat demandé par la skill sans inventer de données ni exécuter de script non examiné.Résultat attendu : une sortie correspondant aux instructions de la skill, ou une liste précise des prérequis manquants. Une simple confirmation de lecture ne valide pas le premier usage. Si une ressource externe est indisponible, ce parcours reste à tester.
Bonnes pratiques React Hook Form
Developpement
Maîtrisez React Hook Form : évitez les anti-patterns, gérez les abonnements, et traitez correctement reset, dirty state et entrées contrôlées.
Migration Emotion vers Mantine
Developpement
Migrer les styled-components Emotion vers des composants Mantine avec style props et modules CSS. Pour convertir .styled.tsx ou supprimer les imports @emotion.
Détecteur de dérive de périmètre
Developpement
Analyse les diffs git par rapport à une intention pour détecter la dérive de périmètre, fichiers non liés et PR trop larges, puis suggère de garder, diviser ou justifier.