infer-branch-effect ( quot -- )

Vocabulary

stack-checker.branches

Inputs

quot

an object

Outputs

None

Definition

USING: kernel namespaces sequences
stack-checker.row-polymorphism stack-checker.state ;

IN: stack-checker.branches

: infer-branch-effect ( quot -- )
    meta-d length input-count get [ with-inner-d ] 2dip
    (effect-here) branch-effect set ; inline