/debug-types

Target (file/module/all)
    |
    v
Dialyzer Runner
    |-- Capture all warnings
    |-- Parse warning structure
    |-- Classify warning types
    |
    v
Conflict Analyzer
    |-- Find multiple @spec for same function
    |-- Detect term() :: term() patterns
    |-- Identify override relationships
    |-- Trace delegation chains
    |
    v
Fix Recommender
    |-- Determine authoritative typespec
    |-- Identify vague specs to remove
    |-- Suggest specific union types
    |-- Plan fix strategy
    |
    v
Fix Implementer
    |-- Remove conflicting vague typespecs
    |-- Preserve specific union types
    |-- Update delegation chain types
    |-- Add @typedoc for complex types
    |
    v
Verifier
    |-- Re-run Dialyzer
    |-- Confirm zero warnings
    |-- Validate type inference correct
    |-- Generate fix report

# Analyze specific module
/debug-types apps/prismatic_agents/lib/llm_client.ex

# Analyze entire application
/debug-types apps/prismatic_agents/

# Analyze all modules platform-wide
/debug-types

# Quick analysis of specific file
/debug-types apps/prismatic_web/lib/prismatic_web/live/dashboard_live.ex

# Focus on public API types only
/debug-types apps/prismatic/lib/prismatic.ex --public-only

# Check delegation chains
/debug-types apps/prismatic_agents/ --trace-delegations

# Analyze with verbose output
/debug-types apps/prismatic_storage_core/ --verbose

# Analyze and fix automatically
/debug-types apps/prismatic_agents/ --fix

# Fix with manual review
/debug-types apps/prismatic_agents/ --fix --interactive

# Dry run showing proposed fixes
/debug-types apps/prismatic_agents/ --fix --dry-run

PHASE 1: DIALYZER CAPTURE (5-10s)
    |-- Run Dialyzer on target
    |-- Capture all warnings
    |-- Parse warning structure
    |-- Classify by type (conflicting, vague, missing)
    |
PHASE 2: CONFLICT ANALYSIS (2-5s per module)
    |-- Scan for multiple @spec on same function
    |-- Detect term() :: term() patterns
    |-- Identify override relationships
    |-- Trace delegation chains for type loss
    |-- Map specificity hierarchy
    |
PHASE 3: FIX RECOMMENDATION
    |-- For conflicting specs:
    |     - Keep most specific typespec
    |     - Remove vague overriding spec
    |-- For vague public APIs:
    |     - Infer types from function body
    |     - Suggest specific union types
    |-- For delegation chains:
    |     - Propagate types through chain
    |     - Add missing intermediate specs
    |
PHASE 4: FIX IMPLEMENTATION (if --fix)
    |-- Remove conflicting vague typespecs
    |-- Add or update specific typespecs
    |-- Add @typedoc for complex types
    |-- Update delegation chain types
    |
PHASE 5: VERIFICATION
    |-- Re-run Dialyzer on modified files
    |-- Confirm zero new warnings
    |-- Verify no existing tests broken
    |-- Generate fix report

# DETECTED: Two specs for same function, one vague
@spec run(provider(), prompt(), options()) :: result()
@spec run(term(), term(), term()) :: term()  # Conflict!

# FIX: Remove vague typespec, keep specific one
@spec run(provider(), prompt(), options()) :: result()

# DETECTED: Public function with uninformative types
@spec public_function(term()) :: term()

# FIX: Replace with specific types
@spec public_function(String.t()) :: {:ok, result()} | {:error, atom()}

# DETECTED: Type info lost through private delegation
@spec run(provider(), prompt()) :: result()
def run(provider, prompt), do: do_run(provider, prompt)

# Private function with vague types
defp do_run(term(), term()) :: term()  # Type info lost!

# FIX: Preserve types through delegation
@spec run(provider(), prompt()) :: result()
def run(provider, prompt), do: do_run(provider, prompt)

@spec do_run(provider(), prompt()) :: result()
defp do_run(provider, prompt) do
  # ...
end

# DETECTED: No @spec on public function
def calculate_score(data, options) do
  # ...
end

# FIX: Add inferred @spec
@spec calculate_score(map(), keyword()) :: {:ok, float()} | {:error, atom()}
def calculate_score(data, options) do
  # ...
end

TYPE INFERENCE DEBUG: LLMClient

DIALYZER WARNINGS FOUND:
  1. Function run/3 has conflicting typespecs
     Line 51: @spec run(provider(), prompt(), options()) :: result()
     Line 54: @spec run(term(), term(), term()) :: term()

ROOT CAUSE ANALYSIS:
  Vague typespec at line 54 overrides specific typespec at line 51.
  Dialyzer infers most restrictive type (term() :: term()).

RECOMMENDED FIX:
  Action: Remove vague typespec at line 54
  Keep: Specific typespec at line 51
  Reason: Preserve type information for callers

IMPLEMENTATION:
  Removing conflicting typespec...
  Fixed: apps/prismatic_agents/lib/llm_client.ex:54

VERIFICATION:
  Running Dialyzer...
  Zero warnings!
  Type inference now correct

FIX SUMMARY:
  Removed: 1 vague typespec
  Preserved: 1 specific typespec
  Warnings: 1 -> 0

Related Commands