unboxer ( error-quot word types type -- quot )

Vocabulary

typed.private

Inputs

error-quot	an object
word	an object
types	an object
type	an object

Outputs

quot

an object

Definition

USING: classes kernel words ;

IN: typed.private

:: unboxer ( error-quot word types type -- quot )
    type word? [ type "coercer" word-prop ] [ f ] if [ ] or
    type type word types error-quot
    '[ dup _ instance? [ _ _ _ @ ] unless ] type (unboxer)
    compose compose ;