Enum minitt::check::tcm::TCE

pub enum TCE {
    Textual(String),
    UpdateGammaFailed(Pattern),
    CannotInfer(Expression),
    UnresolvedName(String),
    InvalidConstructor(String),
    MissingCase(String),
    UnexpectedCases(String),
    Unreachable(&'static str, u32, u32),
    WantSigmaBut(Value),
    WantPiBut(Value, Expression),
    InferredDoesNotMatchExpected(NormalExpression, NormalExpression),
    Located(Box<TCE>, Pattern),
}

Type-Checking Error.

Variants

Textual(String)UpdateGammaFailed(Pattern)CannotInfer(Expression)UnresolvedName(String)InvalidConstructor(String)MissingCase(String)UnexpectedCases(String)Unreachable(&'static str, u32, u32)

Reaching somewhere that is not expected to reach.

WantSigmaBut(Value)WantPiBut(Value, Expression)

We can get the argument of application here, to better report error.

InferredDoesNotMatchExpected(NormalExpression, NormalExpression)

First argument is inferred value, second is expected.

Located(Box<TCE>, Pattern)

Methods

impl TCE

pub fn default_error<T>(str: String) -> TCM<T>

Default TCE

Trait Implementations

impl Clone for TCE

fn clone(&self) -> TCE

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Display for TCE

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

Formats the value using the given formatter.

impl Debug for TCE

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

Formats the value using the given formatter.