infer-if ( -- )

Vocabulary

stack-checker.branches

Inputs

None

Outputs

None

Definition

USING: kernel namespaces sequences stack-checker.backend
stack-checker.values stack-checker.visitor ;

IN: stack-checker.branches

: infer-if ( -- )
    \ if combinator set 2 literals-available?
    [ (infer-if) ] [
        drop 2 ensure-d declare-if-effects 2 shorten-d dup
        [ known curried/composed? ] any? [
            output-d
            [ rot [ drop call ] [ nip call ] if ]
            infer-quot-here
        ] [ [ #drop, ] [ [ literal ] map (infer-if) ] bi ] if
    ] if ;