[−][src]Enum minitt::check::tcm::TCE
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
[src]
pub fn default_error<T>(str: String) -> TCM<T>
[src]
Default TCE
Trait Implementations
impl Clone for TCE
[src]
fn clone(&self) -> TCE
[src]
fn clone_from(&mut self, source: &Self)
1.0.0[src]
Performs copy-assignment from source
. Read more
impl Display for TCE
[src]
impl Debug for TCE
[src]
Auto Trait Implementations
Blanket Implementations
impl<T, U> Into for T where
U: From<T>,
[src]
U: From<T>,
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
impl<T> ToString for T where
T: Display + ?Sized,
[src]
T: Display + ?Sized,
impl<T> From for T
[src]
impl<T, U> TryFrom for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T> Borrow for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T, U> TryInto for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
[src]
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,