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

Prev:	infer ( quot -- effect )
Next:	stack-effect ( word -- effect/f )

Vocabulary
stack-checker

Inputs

quot	a quotation

Outputs
None

Word description
Attempts to infer the quotation's stack effect, and prints this data to output-stream.

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

See also
infer

Definition

USING: effects io ;

IN: stack-checker

: infer. ( quot -- ) infer effect>string print ;