declare-if-effects ( -- )

Vocabulary

stack-checker.branches

Inputs

None

Outputs

None

Definition

USING: kernel stack-checker.backend ;

IN: stack-checker.branches

: declare-if-effects ( -- )
    H{ } clone V{ } clone
    [ [ \ if ( ..a -- ..b ) ] 2dip 0 declare-effect-d ]
    [ [ \ if ( ..a -- ..b ) ] 2dip 1 declare-effect-d ] 2bi ;