effect-error ( inferred declared -- * )
Factor handbook » The language » Stack effect checking » Stack checker errors

Prev:	bad-macro-input ( macro -- * )
Next:	unbalanced-branches-error ( word quots declareds actuals -- * )

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

IN: stack-checker.errors

ERROR: effect-error < inference-error inferred declared ;

Methods

USING: kernel stack-checker.errors summary ;

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