CheckingError

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 incorrectUnification

class notAForallType

class notAFunctionType

class other

class typeArityMismatch

class typeMismatch

class unboundTypeVariables

class undefinedTermVariable

class unequalTypes

class unsupportedTermVariant

class untypedLambda

class untypedLetBinding

class untypedTermVariable

Show all