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 ;