equate-rows ( left right difference vars -- ? )

Vocabulary

stack-checker.row-polymorphism.private

Inputs

left	an object
right	an object
difference	an object
vars	an object

Outputs

?

an object

Definition

USING: accessors kernel math ;

IN: stack-checker.row-polymorphism.private

:: equate-rows ( left right difference vars -- ? )
    difference left height>> right height>> - -
    :> adjustment left group>> right group>> eq?
    [ adjustment zero? ] [
        adjustment 0 >=
        [ left adjustment vars raise-row ]
        [ right adjustment neg vars raise-row ] if dup
        [ left right vars join-rows ] when
    ] if ;