Struct TypeCheckResult 

pub struct TypeCheckResult {
    pub errors: Vec<TypeError>,
    pub fn_sigs: HashMap<String, (Vec<Type>, Type, Vec<String>)>,
    pub memo_safe_types: HashSet<String>,
}

Result of type-checking that also carries memo-safety metadata.

Fields

errors: Vec<TypeError>

fn_sigs: HashMap<String, (Vec<Type>, Type, Vec<String>)>

For each user-defined fn: (param_types, return_type, effects). Used by the memo system to decide which fns qualify.

memo_safe_types: HashSet<String>

Set of type names whose values are memo-safe (hashable scalars / records of scalars).

Trait Implementations

impl Debug for TypeCheckResult

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

Formats the value using the given formatter.