consume/produce ( ..a effect quot: ( ..a inputs outputs -- ..b ) -- ..b )

Vocabulary

stack-checker.backend

Inputs

effect	an object
quot	a quotation with stack effect ( ..a inputs outputs -- ..b )

Outputs

None

Definition

USING: accessors kernel sequences ;

IN: stack-checker.backend

: consume/produce
    ( ..a effect quot: ( ..a inputs outputs -- ..b ) -- ..b )
    [
        [
            [ in>> length consume-d ] [ out>> length produce-d ]
            bi
        ]
    ] dip compose [ terminated?>> [ terminate ] when ] bi ;
    inline