infer-known ( value -- effect )

Vocabulary

combinators.smart

Inputs

value

an object

Outputs

effect

an object

Definition

USING: kernel stack-checker.backend stack-checker.values ;

IN: combinators.smart

: infer-known ( value -- effect )
    known dup (literal-value?)
    [ (literal) [ infer-literal-quot ] with-infer drop ]
    [ infer-known* ] if ;