recursive-quotation-error ( quot -- * ) (original) (raw)

Vocabulary
stack-checker.errors

Error description
Thrown when a quotation calls itself, directly or indirectly, within the same word. Stack effect inference becomes equivalent to the halting problem if quotation recursion has to be taken into account, hence it is not permitted.

Examples
Here is an example of quotation recursion:

[ [ dup call ] dup call ] infer.

Definition

IN: stack-checker.errors

ERROR: recursive-quotation-error < inference-error quot ;

Methods

USING: kernel stack-checker.errors summary ;

M: recursive-quotation-error summary
drop "Recursive quotation" ;