factor/basis/combinators/short-circuit/smart/smart.factor

USING: kernel sequences math stack-checker effects accessors macros
fry combinators.short-circuit ;
IN: combinators.short-circuit.smart

<PRIVATE

: arity ( quots -- n )
    first infer
    dup terminated?>> [ "Cannot determine arity" throw ] when
    effect-height neg 1+ ;

PRIVATE>

MACRO: && ( quots -- quot ) dup arity '[ _ _ n&& ] ;

MACRO: || ( quots -- quot ) dup arity '[ _ _ n|| ] ;