typed ( quot word effect -- quot' )

Vocabulary

typed.private

Inputs

quot	an object
word	an object
effect	an object

Outputs

quot'

an object

Definition

USING: effects kernel kernel.private ;

IN: typed.private

MACRO: typed ( quot word effect -- quot' )
    [
        effect-in-types dup typed-stack-effect?
        [ typed-inputs ] [ 2drop ] if
    ] [
        nip effect-out-types dup typed-stack-effect? [
            [ unboxed-types ] [ make-boxer ] bi
            [ [ declare ] curry compose ] dip compose
        ] [ drop ] if
    ] 2bi ;