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

Vocabulary

typed.private

Inputs

error-quot	an object
word	an object
types	an object

Outputs

quot

an object

Definition

USING: generalizations kernel sequences ;

IN: typed.private

: make-unboxer ( error-quot word types -- quot )
    dup [ unboxer ] 3 nwith
    [ swap \ dip [ ] 2sequence prepend ] map-reduce ;