(unboxed-types) ( type -- types )

Vocabulary

typed.private

Inputs

type

an object

Outputs

types

an object

Definition

USING: accessors arrays classes.tuple kernel sequences ;

IN: typed.private

: (unboxed-types) ( type -- types )
    dup unboxable-tuple-class? [
        dup add-depends-on-unboxing all-slots
        [ class>> (unboxed-types) ] map concat
    ] [ 1array ] if ;