infer-dispatch ( -- )

Vocabulary

stack-checker.branches

Inputs

None

Outputs

None

Definition

USING: kernel namespaces sequences.private stack-checker.backend
stack-checker.visitor ;

IN: stack-checker.branches

: infer-dispatch ( -- )
    \ dispatch combinator set pop-literal infer-branches
    [ #dispatch, ] dip compute-phi-function ;