Enum skiff::type_inferencer::type_inference::InferenceError [−][src]
pub enum InferenceError {
UnboundIdentifier(String, TypeEnv),
UnboundPattern(String, DataDeclTable),
MalformedPattern(Pattern),
ConstructorMismatch(Term, Term),
InfiniteType(),
MissingAnnotation(Range<usize>),
TopLevelError(SrcLoc),
TopLevelExpressionOutOfPlace(SrcLoc),
DataDeclarationError(InterpError),
}
Variants
UnboundPattern(String, DataDeclTable)
Tuple Fields of UnboundPattern
0: String
1: DataDeclTable
MalformedPattern(Pattern)
Tuple Fields of MalformedPattern
0: Pattern
Tuple Fields of InfiniteType
TopLevelError(SrcLoc)
Tuple Fields of TopLevelError
0: SrcLoc
TopLevelExpressionOutOfPlace(SrcLoc)
Tuple Fields of TopLevelExpressionOutOfPlace
0: SrcLoc
DataDeclarationError(InterpError)
Tuple Fields of DataDeclarationError
0: InterpError
Trait Implementations
This method tests for self
and other
values to be equal, and is used
by ==
. Read more
This method tests for !=
.
Auto Trait Implementations
impl RefUnwindSafe for InferenceError
impl Send for InferenceError
impl Sync for InferenceError
impl Unpin for InferenceError
impl UnwindSafe for InferenceError
Blanket Implementations
Mutably borrows from an owned value. Read more
type Output = T
type Output = T
Should always be Self