infer ( quot -- effect )
Factor handbook » Developer tools » Stack effect tools

Next:

infer. ( quot -- )

Vocabulary
stack-checker

Inputs

quot	a quotation

Outputs

effect

an instance of effect

Word description
Attempts to infer the quotation's stack effect. For interactive testing, the infer. word should be called instead since it presents the output in a nicely formatted manner.

Errors
Throws an inference-error if stack effect inference fails.

See also
infer.

Definition

USING: classes kernel quotations stack-checker.backend ;

IN: stack-checker

: infer ( quot -- effect )
    callable check-instance [ infer-quot-here ] with-infer drop
    ;