Vocabulary
combinators.smart

Inputs and outputs

pred	a quotation
true	a quotation
false	a quotation

Word description
A version of if that takes three quotations, where the first quotation is a predicate that preserves any inputs it consumes, the second is the true branch, and the third is the false branch. If the true branch is taken, the values are left on the stack and the quotation is called. If the false branch is taken, the number of inputs inferred from predicate quotation is dropped and the quotation is called.

Definition

USING: kernel ;

IN: combinators.smart

: smart-if* ( pred true false -- )
[ [ [ preserving ] [ dropping ] bi ] dip swap ] dip compose
if ; inline