MachineError

Attributes

Graph

Reset zoomHide graphShow graph

Supertypes

class RuntimeException

class Exception

class Throwable

trait Serializable

class Object

trait Matchable

class Any

Show all

Known subtypes

class BuiltinException

class DeserializationError

class KnownTypeUnliftingError

class StackTraceMachineError

class BuiltinError

class BuiltinTermArgumentExpectedMachineError

class EvaluationFailure

class MissingCaseBranch

class NonConstrScrutinized

class NonFunctionalApplicationMachineError

class NonPolymorphicInstantiationMachineError

class OpenTermEvaluatedMachineError

class OutOfExBudgetError

class UnexpectedBuiltinTermArgumentMachineError

class UnknownBuiltin

Show all