Enum TypecheckMode 

pub enum TypecheckMode<'a> {
    Full {
        base_dir: Option<&'a str>,
    },
    WithLoaded(&'a [LoadedModule]),
    FullSelfHost {
        base_dir: Option<&'a str>,
    },
    WithLoadedSelfHost(&'a [LoadedModule]),
}

Optional typecheck driver.

Variants

Full

run_type_check_full(items, base_dir).

Fields

base_dir: Option<&'a str>

WithLoaded(&'a [LoadedModule])

run_type_check_with_loaded(items, loaded) for in-memory module trees (playground virtual fs, multi-file ad-hoc compiles).

FullSelfHost

Self-host variant of [Full] — bypasses opaque-type checks (construct, field access, pattern match). Used exclusively by aver compile --with-self-host-support so domain/builtins.av can round-trip opaque host types through the replay JSON contract. See run_type_check_full_self_host.

Fields

base_dir: Option<&'a str>

WithLoadedSelfHost(&'a [LoadedModule])

Self-host variant of [WithLoaded].