Vocabulary
stack-checker

Inputs and outputs

quot	a quotation
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

IN: stack-checker

GENERIC: infer ( quot -- effect )

Methods

USING: quotations stack-checker stack-checker.backend ;

M: callable infer (infer) ;