Struct CompileOptions 

pub struct CompileOptions {
    pub workload_dir: Option<PathBuf>,
    pub polydat_lib_paths: Vec<PathBuf>,
    pub strict: bool,
    pub required_outputs: Vec<String>,
    pub context_label: Option<String>,
    pub cursor_limit: Option<u64>,
    pub kernel_opt: KernelOptLevel,
}

Optional compile-time configuration passed through to compile_polydat_with_libs when finalize compiles the body. When every field is at its default, finalize falls back to the minimal compile_ast_with_options path used by the do-loop bridge — no behaviour change for the simplest synthesisers.

SRD-67 Phase 3 bridge hook: the for_each / op-template synthesisers used to call compile_polydat_with_libs directly with polydat_lib_paths, workload_dir, strict, and a context label. Routing those concerns through the builder preserves byte- identical compile output during migration.

Fields

workload_dir: Option<PathBuf>

The directory relative data-file paths resolve against.

polydat_lib_paths: Vec<PathBuf>

Library search paths.

strict: bool

Whether to enforce strict validation.

required_outputs: Vec<String>

The outputs to keep; every output when empty.

context_label: Option<String>

The diagnostic context label, if any.

cursor_limit: Option<u64>

A limit on every cursor’s extent, if any.

kernel_opt: KernelOptLevel

Session-wide optimization level for op-template synthesis. Release (the default) lets the closure-binding economy DCE unreferenced slots; Diagnostic force-allocates every magic-extern and result-binding-LHS slot so step-debug / cycle-replay sees writes that the runtime would otherwise drop on the floor. See KernelOptLevel.

Trait Implementations

impl Clone for CompileOptions

fn clone(&self) -> CompileOptions

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for CompileOptions

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for CompileOptions

fn default() -> CompileOptions

Returns the “default value” for a type.