infer-get-local ( -- )

Vocabulary

stack-checker.known-words

Inputs

None

Outputs

None

Definition

USING: arrays assocs kernel math sequences stack-checker.backend
stack-checker.values stack-checker.visitor ;

IN: stack-checker.known-words

:: infer-get-local ( -- )
    pop-literal 1 swap -
    :> n n consume-r :> in-r in-r first copy-value 1array
    :> out-d in-r copy-values :> out-r out-d output-d
    out-r output-r f out-d in-r out-r out-r in-r zip
    out-d first in-r first 2array suffix #shuffle, ;