check-effect ( required-effect -- )

Vocabulary

stack-checker.state

Inputs

required-effect

an object

Outputs

None

Definition

USING: effects kernel stack-checker.errors ;

IN: stack-checker.state

: check-effect ( required-effect -- )
    [ current-effect ] dip 2dup effect<=
    [ 2drop ] [ effect-error ] if ;