Enum fungi_lang::eval::EvalTyErr

pub enum EvalTyErr {
    LetNonRet(ExpTerm),
    AppNonLam(ExpTerm),
    SplitNonPair(RtVal),
    IfNonBool(RtVal),
    CaseNonInj(RtVal),
    UnrollNonRoll(RtVal),
    ThunkNonName(RtVal),
    ForceNonThunk(RtVal),
    RefThunkNonThunk(RtVal),
    RefNonName(RtVal),
    GetNonRef(RtVal),
    WriteScopeWithoutName0,
    WriteScopeWithoutName1,
    WriteScopeWithoutName2,
    NameFnApp0,
    NameFnApp1,
    PrimAppNameBin(RtVal, RtVal),
    PrimAppNatLt(RtVal, RtVal),
    PrimAppNatEq(RtVal, RtVal),
    PrimAppNatLte(RtVal, RtVal),
    PrimAppNatPlus(RtVal, RtVal),
}

Dynamic type errors ("stuck cases" for evaluation)

For each place in the eval function where a dynamic type error may arise that prevents us from progressing, we give a constructor with the relevant information (first for documentation purposes, and secondly for future error messages).

Variants

LetNonRet(ExpTerm)AppNonLam(ExpTerm)SplitNonPair(RtVal)IfNonBool(RtVal)CaseNonInj(RtVal)UnrollNonRoll(RtVal)ThunkNonName(RtVal)ForceNonThunk(RtVal)RefThunkNonThunk(RtVal)RefNonName(RtVal)GetNonRef(RtVal)WriteScopeWithoutName0WriteScopeWithoutName1WriteScopeWithoutName2NameFnApp0NameFnApp1PrimAppNameBin(RtVal, RtVal)PrimAppNatLt(RtVal, RtVal)PrimAppNatEq(RtVal, RtVal)PrimAppNatLte(RtVal, RtVal)PrimAppNatPlus(RtVal, RtVal)

Trait Implementations

impl Clone for EvalTyErr

fn clone(&self) -> EvalTyErr

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for EvalTyErr

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

Formats the value using the given formatter.

impl Eq for EvalTyErr

impl PartialEq for EvalTyErr

fn eq(&self, other: &EvalTyErr) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &EvalTyErr) -> bool

This method tests for !=.