check-call-height ( label -- )

Vocabulary

stack-checker.inlining

Inputs

label

an object

Outputs

None

Definition

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

IN: stack-checker.inlining

: check-call-height ( label -- )
    dup entry-stack-height current-stack-height >
    [ word>> diverging-recursion-error inference-error ]
    [ drop ] if ;