infer-branch ( literal -- namespace )

Vocabulary

stack-checker.branches

Inputs

literal

an object

Outputs

namespace

an object

Definition

IN: stack-checker.branches

GENERIC: infer-branch ( literal -- namespace )

Methods

USING: kernel namespaces quotations stack-checker.backend
stack-checker.branches stack-checker.visitor ;

M: callable infer-branch
    [
        copy-inference nest-visitor
        [ quotation set ] [ infer-quot-here ] bi
        collect-variables
    ] with-scope ;


USING: accessors stack-checker.branches stack-checker.values ;

M: declared-effect infer-branch known>> infer-branch ;


USING: accessors kernel namespaces quotations
stack-checker.backend stack-checker.branches
stack-checker.values stack-checker.visitor ;

M: literal-tuple infer-branch
    [
        copy-inference nest-visitor
        [ value>> quotation set ] [ infer-literal-quot ] bi
        collect-variables
    ] with-scope ;