call-recursive-inline-word ( word label -- )

Vocabulary

stack-checker.inlining

Inputs

word	an object
label	an object

Outputs

None

Definition

USING: kernel stack-checker.backend stack-checker.errors
stack-checker.visitor words ;

IN: stack-checker.inlining

: call-recursive-inline-word ( word label -- )
    over recursive? [
        [ required-stack-effect adjust-stack-effect ] dip
        [ check-call ]
        [ [ #call-recursive, ] curry consume/produce ] bi
    ] [ drop undeclared-recursion-error inference-error ] if ;