Skip to main content

validate

polydat_core::iteration::comprehension::validate

Function validate 

Source 
pub fn validate(
    c: &Comprehension,
    mode: Mode,
) -> Result<ValidationReport, ValidationError>
Expand description

Validate a comprehension AST per spec §5.

In Permissive mode, V1-V9 errors abort with a typed ValidationError and degenerate-composition warnings accumulate into the returned ValidationReport. In Strict mode, the first warning is promoted to an error.