Vocabulary
stack-checker.errors

Error description
Thrown when stack effect inference determines that an inline recursive word has an incorrect stack effect declaration.

Examples
: unbalanced-recursion-example ( quot: ( -- ? ) -- b ) dup call [ unbalanced-recursion-example ] [ drop ] if ; inline recursive


Definition


Methods

M: unbalanced-recursion-error summary
word>> name>> "The recursive word “"
"” leaves with the stack having the wrong height" surround ;