collect-variables ( -- hash )

Vocabulary

stack-checker.branches

Inputs

None

Outputs

hash

an assoc

Word description

Gathers all variables used during inferencing into a hash.

Definition

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

IN: stack-checker.branches

: collect-variables ( -- hash )
    {
        (meta-d)
        (meta-r)
        current-word
        inner-d-index
        input-count
        literals
        quotation
        recursive-state
        stack-visitor
        terminated?
    } [ dup get ] H{ } map>assoc ;