cached-effect ( quot -- effect )

Vocabulary

compiler.tree.propagation.call-effect

Inputs

quot

an object

Outputs

effect

an object

Definition

IN: compiler.tree.propagation.call-effect

GENERIC: cached-effect ( quot -- effect )

Methods

USING: accessors compiler.tree.propagation.call-effect kernel ;

M: composed cached-effect
    [ first>> ] [ second>> ] bi [ cached-effect ] bi@
    compose-effects* ;


USING: accessors compiler.tree.propagation.call-effect kernel ;

M: curried cached-effect quot>> cached-effect curry-effect* ;


USING: compiler.tree.propagation.call-effect kernel ;

M: object cached-effect drop +unknown+ ;


USING: accessors compiler.tree.propagation.call-effect kernel
quotations ;

M: quotation cached-effect
    dup cached-effect-valid?
    [ cached-effect>> ] [ [ safe-infer dup ] keep save-effect ]
    if ;