Skip to main content

Module validate

Module validate 

Source

Functionsยง

check_phases
Walk each listener entry through the phase transition table.
validate
Run IR-level structural and phase validation on a freshly-lowered graph.
validate_collecting
Push+continue form of validate: every leaf check runs to completion and accumulates its errors into a Diagnostics. Callers that drive the full compile pipeline use this so an operator running vane compile <dir> sees every structural violation at once instead of fixing them one-at-a-time.