Vocabulary
stack-checker.errors

Inputs
None

Outputs
None

Word description
Throws an effect-error.

Error description
Thrown when a word's inferred stack effect does not match its declared stack effect.

Definition


Methods

M: effect-error summary
drop "Stack effect declaration is wrong" ;