infer-quot-here ( quot -- )

Vocabulary

stack-checker.backend

Inputs

quot	a quotation

Outputs

None

Word description

Performs inferencing on the given quotation. This word should only be called in a with-infer context.

Definition

USING: kernel namespaces sequences stack-checker.state ;

IN: stack-checker.backend

: infer-quot-here ( quot -- )
    meta-r [
        V{ } clone (meta-r) set
        [ apply-object terminated? get not ] all?
        [ commit-literals check->r ] [ literals get delete-all ]
        if
    ] dip (meta-r) set ;