adjust-stack-effect ( effect -- effect' )

Vocabulary

stack-checker.inlining

Inputs

effect

an object

Outputs

effect'

an object

Definition

USING: accessors effects kernel math.order sequences
stack-checker.state ;

IN: stack-checker.inlining

: adjust-stack-effect ( effect -- effect' )
    [ in>> ] [ out>> ] bi meta-d length pick length [-]
    object <repetition> [ prepend ] curry bi@ <effect> ;