StackTraceMachineError

Attributes

Graph

Reset zoomHide graphShow graph

Supertypes

class MachineError

class RuntimeException

class Exception

class Throwable

trait Serializable

class Object

trait Matchable

class Any

Show all

Known subtypes

class BuiltinError

class BuiltinTermArgumentExpectedMachineError

class EvaluationFailure

class MissingCaseBranch

class NonConstrScrutinized

class NonFunctionalApplicationMachineError

class NonPolymorphicInstantiationMachineError

class OpenTermEvaluatedMachineError

class OutOfExBudgetError

class UnexpectedBuiltinTermArgumentMachineError

class UnknownBuiltin

Show all