check-successors ( bb -- )

Vocabulary

compiler.cfg.checker

Inputs

bb

an object

Outputs

None

Definition

USING: accessors kernel sequences ;

IN: compiler.cfg.checker

: check-successors ( bb -- )
    dup successors>> [ predecessors>> member-eq? ] with all?
    [ bad-successors ] unless ;