InvalidTermError

Attributes

Graph

Reset zoomHide graphShow graph

Supertypes

trait Enum

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any

Show all

Known subtypes

class constantCondition

class duplicateBinding

class duplicateField

class emptyCaseStatement

class emptyLetBindings

class emptyTermAnnotation

class emptyTypeNameInTerm

class extraRecordFields

class invalidLambdaParameterName

class invalidLetBindingName

class invalidTypeLambdaParameterName

class missingCaseBranches

class missingRecordFields

class nestedTermAnnotation

class nominalTypeKindMismatch

class redundantWrapUnwrap

class selfApplication

class termVariableShadowing

class typeVariableShadowingInTypeLambda

class undeclaredVariant

class undefinedTermVariable

class undefinedTypeVariableInBindingType

class undefinedTypeVariableInLambdaDomain

class undefinedTypeVariableInTypeApplication

class unknownCaseAlternative

class unknownPrimitiveName

class unknownProjectedField

class unnecessaryIdentityApplication

class unresolvedNominalType

class untypedTermVariable

Show all