check-return ( word label -- )

Vocabulary

stack-checker.inlining

Inputs

word	an object
label	an object

Outputs

None

Definition

USING: accessors effects kernel math namespaces
stack-checker.errors stack-checker.state ;

IN: stack-checker.inlining

:: check-return ( word label -- )
    word stack-height current-stack-height label
    entry-stack-height - = [
        terminated? get [
            label word>> current-stack-height
            unbalanced-recursion-error inference-error
        ] unless
    ] unless ;