diverging-recursion-error ( word -- * ) (original) (raw)

Vocabulary
stack-checker.errors

Error description
Thrown when stack effect inference determines that a recursive word might take an arbitrary number of values from the stack.

Notes
Such words do not have a static stack effect and most likely indicate programmer error.

Examples

: diverging-recursion-example ( -- ) [ diverging-recursion-example f ] when ; inline recursive

Definition

IN: stack-checker.errors

ERROR: diverging-recursion-error < inference-error word ;

Methods

USING: accessors sequences stack-checker.errors summary ;

M: diverging-recursion-error summary
word>> name>> "The recursive word '"
"' digs arbitrarily deep into the stack" surround ;