inference-error

Vocabulary

stack-checker.errors

Inputs

None

Outputs

None

Word description

Creates an instance of class, wraps it in an inference-error and throws the result.

Error description

Thrown by infer when the stack effect of a quotation cannot be inferred.

The error slot contains one of several possible Stack checker errors.

Definition

IN: stack-checker.errors

TUPLE: inference-error ;