with-infer ( quot -- effect visitor )

Vocabulary

stack-checker.backend

Inputs

quot	a quotation

Outputs

effect	an effect
visitor	a visitor, if any

Word description

Initializes the inference engine and then runs the given quotation which is supposed to perform the inferencing.

Definition

USING: kernel namespaces stack-checker.state
stack-checker.values stack-checker.visitor ;

IN: stack-checker.backend

: with-infer ( quot -- effect visitor )
    [
        init-inference H{ } clone known-values set
        stack-visitor off call
        end-infer current-effect stack-visitor get
    ] with-scope ; inline