(inline-recursive-word) ( word -- label in out visitor inner-d terminated? )

Vocabulary

stack-checker.inlining

Inputs

word

an object

Outputs

label	an object
in	an object
out	an object
visitor	an object
inner-d	an object
terminated?	an object

Definition

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

IN: stack-checker.inlining

: (inline-recursive-word)
    ( word -- label in out visitor inner-d terminated? )
    dup prepare-stack [
        init-inference nest-visitor dup <inline-recursive>
        [ dup emit-enter-recursive infer-inline-word-def ]
        [ end-recursive-word ] [ nip ] 2tri
        dup recursive-word-inputs meta-d stack-visitor get
        inner-d-index get terminated? get
    ] with-scope ;