ppop-new-tail ( pvec -- pvec' )

Vocabulary

persistent.vectors.private

Inputs

pvec

an object

Outputs

pvec'

an object

Definition

USING: accessors combinators kernel sequences ;

IN: persistent.vectors.private

: ppop-new-tail ( pvec -- pvec' )
    dup root>> (ppop-new-tail) [
        {
            { [ dup not ] [ drop T{ node { level 1 } } ] }
            { [ dup trivial? ] [ children>> first ] }
            [ ]
        } cond
    ] dip [ >>root ] [ >>tail ] bi* ;