Expand description
Dependency analysis for definitions.
Computes the dependency graph of definitions and identifies Strongly Connected Components (SCCs). The computed SCCs are exposed in reverse topological order (leaves first), which is useful for passes that need to process dependencies before dependents (like type inference).
Structs§
- Dependency
Analysis - Result of dependency analysis.
Functions§
- analyze_
dependencies - Analyze dependencies between definitions.