Handbook
Glossary
(inline-recursive-word) ( word -- label in out visitor terminated? )
Vocabulary
stack-checker
.
inlining
Inputs
word
an
object
Outputs
label
an
object
in
an
object
out
an
object
visitor
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 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
terminated?
get
]
with-scope
;