Struct TypeCheck 

pub struct TypeCheck {
    pub solved: HashMap<Name, Solved>,
    pub instances: Vec<SolvedInstance>,
    pub rejected_derivations: Vec<Name>,
    pub errors: Vec<Error>,
}

What type_check_recovering found in one module: an answer for every declaration, and every error inference reported, side by side.

Fields

solved: HashMap<Name, Solved>

One Solved per declaration, keyed the way module.values is. A declaration inference reported an error for is here as Solved::Rejected, and its error is in errors.

instances: Vec<SolvedInstance>

One entry per instance the module declares, in the order canonical::Module::instances holds them: what each is for and an answer for every binding of its body.

rejected_derivations: Vec<Name>

The classes of this module with a derivation binding that was rejected, by name. The error is in errors, at the class.

errors: Vec<Error>

Every error inference reported, one per rejected declaration, binding or instance. Empty means the module type checked.

Trait Implementations

impl Debug for TypeCheck

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

Formats the value using the given formatter.