(check-variables) ( vars declared actual -- ? )

Vocabulary

stack-checker.row-polymorphism.private

Inputs

vars	an object
declared	an object
actual	an object

Outputs

?

an object

Definition

USING: accessors kernel math sequences ;

IN: stack-checker.row-polymorphism.private

:: (check-variables) ( vars declared actual -- ? )
    declared in-var>> vars get-row
    :> left declared out-var>> vars get-row
    :> right actual in>> length declared in>> length -
    :> inputs actual out>> length declared out>> length -
    :> outputs left inputs vars bound-row
    right outputs vars bound-row and
    [ left right inputs outputs - vars equate-rows ] [ f ] if ;