mix erlex.typecheck (Erlex v0.2.9)

Copy Markdown View Source

Runs Erlang's Dialyzer directly via the :dialyzer module.

This custom task exists because erlex cannot use dialyxir - dialyxir depends on erlex, creating a circular dependency. Instead, we invoke the Dialyzer API directly through Elixir.

Usage

# Run type checking (builds PLT if missing)
mix erlex.typecheck

# Build/rebuild the PLT cache
mix erlex.typecheck --build-plt

# Clean the PLT cache
mix erlex.typecheck --clean

Configuration

The PLT is stored in priv/plts/dialyzer.plt and includes the core Erlang/Elixir applications: erts, kernel, stdlib, elixir, mix.