diverging-recursion-error ( word -- * )
Factor handbook » The language » Stack effect checking » Stack checker errors

Prev:	undeclared-recursion-error ( word -- * )
Next:	unbalanced-recursion-error ( word height -- * )

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 ;