(must-infer-as) ( effect quot -- error/f failed? tested? )

Vocabulary

tools.test.private

Inputs

effect	an object
quot	an object

Outputs

error/f	an object
failed?	an object
tested?	an object

Definition

USING: continuations kernel stack-checker ;

IN: tools.test.private

:: (must-infer-as)
    ( effect quot -- error/f failed? tested? )
    [ quot infer short-effect effect assert= f f ] [ t ] recover
    t ;