check-variables ( vars declared actual -- ? )

Vocabulary

stack-checker.row-polymorphism

Inputs

vars	an assoc
declared	an effect
actual	an effect

Outputs

?

a boolean

Word description

Checks an inferred effect against a declaration, accumulating shared row constraints in vars. A shallow effect may be extended with an untouched stack prefix. Related rows grow together, preserving earlier constraints; a monomorphic side fixes the size of its connected rows.

Notes

Start each independent group of declarations with an empty association. The stored bindings are internal to the stack checker.

Definition

USING: accessors kernel stack-checker.row-polymorphism.private ;

IN: stack-checker.row-polymorphism

: check-variables ( vars declared actual -- ? )
    dup terminated?>>
    [ 3drop t ]
    [ over terminated?>> [ 3drop f ] [ (check-variables) ] if ]
    if ;