(value>quot) ( value-info -- quot )

Vocabulary

compiler.tree.propagation.call-effect

Inputs

value-info

an object

Outputs

quot

an object

Definition

USING: accessors combinators kernel sequences ;

IN: compiler.tree.propagation.call-effect

: (value>quot) ( value-info -- quot )
    dup literal?>> [
        literal>>
        [ add-quot-to-history ] [ [ [ drop ] ] dip compose ] bi
    ] [
        dup class>> {
            {
                \ curried
                [
                    slots>> third (value>quot)
                    [ ~quotation~ ] dip compose
                    [ ~quotation~ ] dip [ bi ] curry compose
                ]
            }
            {
                \ composed
                [
                    slots>> last2 [ (value>quot) ] bi@
                    [ ~quotation~ dip compose ] dip
                    [ ~quotation~ ] dip compose [ bi ] 2curry
                ]
            }
        } case
    ] if ;