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


Vocabulary
stack-checker.row-polymorphism

Inputs
varsan object
declaredan object
actualan object


Outputs
?an object


Definition
USING: accessors kernel ;

IN: stack-checker.row-polymorphism

: (check-variables) ( vars declared actual -- ? )
balance-actual
[ [ in>> ] [ in-var>> ] check-variable ]
[ [ out>> ] [ out-var>> ] check-variable ] [ 2drop ] 3tri
unify-variables ;