Struct Loader 

pub struct Loader<'a, 'r> {
    pub cache: &'a SourceCache,
    pub resolver: &'r dyn FileResolver,
    pub lock: Lockfile,
    pub frozen: bool,
    pub hermetic: bool,
    pub diags: Vec<Diagnostic>,
    /* private fields */
}

Fields

cache: &'a SourceCache

resolver: &'r dyn FileResolver

lock: Lockfile

frozen: bool

–frozen (CI): no matching lock entry is an E0403 error.

hermetic: bool

–hermetic: every effectful call is an analysis error (E0505), in every module including the root.

diags: Vec<Diagnostic>

Static analysis diagnostics for ALL loaded modules (SPEC §6.1): warnings accumulate here; analysis errors abort loading the module.

Implementations

impl<'a, 'r> Loader<'a, 'r>

pub fn new(cache: &'a SourceCache, resolver: &'r dyn FileResolver) -> Self

pub fn eval_entry( &mut self, interp: &mut Interpreter<'a>, spec: &ImportSpec<'_>, ) -> Result<Value<'a>, Diagnostic>

Entry point: the root module receives the interpreter’s I/O capabilities.