Handbook
Glossary
infer-callback-quot ( params quot -- child )
Vocabulary
stack-checker
.
alien
Inputs
params
an
object
quot
an
object
Outputs
child
an
object
Definition
USING:
namespaces
stack-checker.backend
stack-checker.state
stack-checker.visitor
;
IN:
stack-checker.alien
:
infer-callback-quot
( params quot -- child )
[
init-inference
nest-visitor
infer-quot-here
end-infer
callback-effect
check-effect
stack-visitor
get
]
with-scope
;