Enum fungi_lang::eval::EvalTyErr
[−]
[src]
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), ScopeWithoutName0, ScopeWithoutName1, ScopeWithoutName2, 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)
ScopeWithoutName0
ScopeWithoutName1
ScopeWithoutName2
NameFnApp0
NameFnApp1
PrimAppNameBin(RtVal, RtVal)
PrimAppNatLt(RtVal, RtVal)
PrimAppNatEq(RtVal, RtVal)
PrimAppNatLte(RtVal, RtVal)
PrimAppNatPlus(RtVal, RtVal)
Trait Implementations
impl Clone for EvalTyErr
[src]
fn clone(&self) -> EvalTyErr
[src]
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0[src]
Performs copy-assignment from source
. Read more