Documentation

Annotation unify error

Type equality error

Stacks equality error

Error that happens when type cannot be used in the corresponding scope. Argument of this constructor carries type which violates the restriction, e.g. big_map in UNPACK, and a concrete reason why the type is unsuported.

Arithmetic operation is applied to types, at least one of which is not numeric (e.g. timestamp and timestamp passed to MUL instruction).

Error that happens when actual types are different from the type that instruction expects. The param is an non-empty list of all expected stack types that the instruction would accept. Each expected stack types is represented as non-empty list as well.

Some instruction can not be used in a specific context, like SELF in LAMBDA.

Error that happens when a Value is never a valid source for this type (e.g. timestamp cannot be obtained from a ValueTrue)

There are not enough items on stack to perform a certain instruction.

Invalid entrypoint name provided

Contract with given address is not originated.

Given entrypoint is not present.

Incorrect parameter declaration (with respect to entrypoints feature).

Natural numbers cannot be negative

Exceeds the maximal mutez value

Address couldn't be parsed from its textual representation

KeyHash couldn't be parsed from its textual representation

Timestamp is not RFC339 compliant

Code always fails, but shouldn't, like ITER body.

Empty block of code, like ITER body.

Generic error when instruction does not match something sensible.