must-infer-as
Factor handbook » Developer tools » Unit testing

Prev:	must-infer
Next:	with-test-directory ( ..a quot: ( ..a -- ..b ) -- ..b )

Vocabulary
tools.test

Syntax

{ effect } [ quot ] must-infer-as

Inputs and outputs

effect	a pair with shape { inputs outputs }
quot	a quotation

Word description
Ensures that the quotation has the indicated stack effect without running it.

Notes
This word is used to test that code will compile with the optimizing compiler for optimum performance. See Optimizing compiler.

Definition

USING: tools.test.private ;

IN: tools.test

SYNTAX: must-infer-as \ (must-infer-as) parse-test ;