Skip to main content

validate_bind_points

Function validate_bind_points 

Source
pub fn validate_bind_points(
    templates: &[ParsedOp],
    program_for_op: &dyn Fn(&str) -> Arc<PolydatProgram>,
) -> Result<(), String>
Expand description

Validate that all bind points in op templates can be resolved.

Called at init time. Warns for each unresolvable {name} reference. A bind point is resolvable if it matches a Polydat output, input name, or a known capture declaration from another op. Workload params are injected into the Polydat source as constant bindings before compilation, so they resolve as Polydat outputs. Validate that all bind points in op templates can be resolved.

Returns Err with a descriptive message if any bind point is unresolvable. Callers should treat this as a fatal error — unresolved bind points produce broken ops at runtime.