check-declared-effect ( known effect -- )

Vocabulary

stack-checker.row-polymorphism

Inputs

known	an object
effect	an object

Outputs

None

Definition

USING: accessors kernel ;

IN: stack-checker.row-polymorphism

: check-declared-effect ( known effect -- )
    [ >>actual ] keep 2dup
    [ [ variables>> ] [ effect>> ] bi ] dip check-variables
    [ 2drop ] [ drop combinator-unbalanced-branches-error ] if ;