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 as written (comprehension_forms.md §5).

V3 depends on the surface the comprehension is evaluated on, so it is check_names, which each surface’s compile calls with what that surface supplies; this function judges every other axiom.

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.