check-variable ( vars declared actual slot var-slot -- diff ok? var )

Vocabulary

stack-checker.row-polymorphism

Inputs

vars	an object
declared	an object
actual	an object
slot	an object
var-slot	an object

Outputs

diff	an object
ok?	an object
var	an object

Definition

USING: kernel sequences ;

IN: stack-checker.row-polymorphism

:: check-variable
    ( vars declared actual slot var-slot -- diff ok? var )
    actual declared [ slot call length ] bi@
    declared var-slot call [ vars (check-variable) ] keep ;
    inline