check-effect ( required-effect -- )

Vocabulary
stack-checker.state

Definition

USING: effects kernel stack-checker.errors ;

IN: stack-checker.state

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