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