Package hydra.error.checking

Class CheckingError

java.lang.Object

hydra.error.checking.CheckingError

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<CheckingError>

Direct Known Subclasses:

CheckingError.IncorrectUnification, CheckingError.NotAForallType, CheckingError.NotAFunctionType, CheckingError.TypeArityMismatch, CheckingError.TypeMismatch, CheckingError.UnboundTypeVariables, CheckingError.UnequalTypes, CheckingError.UnsupportedTermVariant, CheckingError.UntypedLambda, CheckingError.UntypedLetBinding

public abstract class CheckingError
extends java.lang.Object
implements java.io.Serializable, java.lang.Comparable<CheckingError>

An error that occurred during type checking

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	CheckingError.IncorrectUnification	A post-unification consistency check failure
static class	CheckingError.NotAForallType	A type that is not a forall type when one was expected
static class	CheckingError.NotAFunctionType	A type that is not a function type when one was expected
static interface	CheckingError.PartialVisitor<R>
static class	CheckingError.TypeArityMismatch	A type constructor applied to the wrong number of arguments
static class	CheckingError.TypeMismatch	A type mismatch between expected and actual types
static class	CheckingError.UnboundTypeVariables	Type variables that are not bound in scope
static class	CheckingError.UnequalTypes	Multiple types that should be equal but are not
static class	CheckingError.UnsupportedTermVariant	A term variant that the type checker does not support
static class	CheckingError.UntypedLambda	A lambda expression without a type annotation on its parameter
static class	CheckingError.UntypedLetBinding	A let binding without a type annotation
static interface	CheckingError.Visitor<R>

Field Summary

Fields

Modifier and Type	Field	Description
static Name	INCORRECT_UNIFICATION
static Name	NOT_A_FORALL_TYPE
static Name	NOT_A_FUNCTION_TYPE
static Name	TYPE_
static Name	TYPE_ARITY_MISMATCH
static Name	TYPE_MISMATCH
static Name	UNBOUND_TYPE_VARIABLES
static Name	UNEQUAL_TYPES
static Name	UNSUPPORTED_TERM_VARIANT
static Name	UNTYPED_LAMBDA
static Name	UNTYPED_LET_BINDING

Method Summary

Modifier and Type	Method	Description
abstract <R> R	accept(CheckingError.Visitor<R> visitor)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface java.lang.Comparable

compareTo

Field Detail

TYPE_

public static final Name TYPE_

INCORRECT_UNIFICATION

public static final Name INCORRECT_UNIFICATION

NOT_A_FORALL_TYPE

public static final Name NOT_A_FORALL_TYPE

NOT_A_FUNCTION_TYPE

public static final Name NOT_A_FUNCTION_TYPE

TYPE_ARITY_MISMATCH

public static final Name TYPE_ARITY_MISMATCH

TYPE_MISMATCH

public static final Name TYPE_MISMATCH

UNBOUND_TYPE_VARIABLES

public static final Name UNBOUND_TYPE_VARIABLES

UNEQUAL_TYPES

public static final Name UNEQUAL_TYPES

UNSUPPORTED_TERM_VARIANT

public static final Name UNSUPPORTED_TERM_VARIANT

UNTYPED_LAMBDA

public static final Name UNTYPED_LAMBDA

UNTYPED_LET_BINDING

public static final Name UNTYPED_LET_BINDING

Method Detail

accept

public abstract <R> R accept(CheckingError.Visitor<R> visitor)