infer-known ( value -- effect )

Vocabulary
combinators.smart

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 ;