inconsistent-recursive-call-error ( word -- * ) (original) (raw)

inconsistent-recursive-call-error ( word -- * )
Factor handbook » The language » Stack effect checking » Stack checker errors

Prev: unbalanced-recursion-error ( word height -- * )
Next: recursive-quotation-error ( quot -- * )

Vocabulary
stack-checker.errors

Error description
Thrown when stack effect inference determines that an inline recursive word calls itself with a different set of quotation parameters than were input.

Examples

: inconsistent-recursive-call-example ( quot: ( -- ? ) -- b ) [ not ] compose inconsistent-recursive-call-example ; inline recursive

Definition

IN: stack-checker.errors

ERROR: inconsistent-recursive-call-error < inference-error
word ;

Methods

USING: accessors sequences stack-checker.errors summary ;

M: inconsistent-recursive-call-error summary
word>> name>> "The recursive word '"
"' calls itself with a different set of quotation parameters t..."
surround ;