stack-effect ( word -- effect/f )
Factor handbook » Developer tools » Stack effect tools

Prev:	infer. ( quot -- )
Next:	effect>string ( obj -- str )

Vocabulary
effects

Inputs

word

a word

Outputs

effect/f

an effect or f

Word description
Outputs the stack effect of a word; either a stack effect declared with (, or an inferred stack effect (see Stack effect checking).

Definition

IN: effects

GENERIC: stack-effect ( word -- effect/f )

Methods

USING: effects quotations stack-checker ;

M: callable stack-effect infer ;


USING: effects generic kernel words ;

M: deferred stack-effect
    M\ deferred stack-effect (call-next-method) ( -- * ) or ;


USING: effects multi-methods words ;

M: method-body stack-effect
    "multi-method-generic" word-prop stack-effect ;


USING: effects kernel words ;

M: parsing-word stack-effect drop ( parsed -- parsed ) ;


USING: effects generic.single words ;

M: predicate-engine-word stack-effect
    "owner-generic" word-prop stack-effect ;


USING: effects generic typed typed.private ;

M: typed-gensym stack-effect
    M\ typed-gensym stack-effect (call-next-method)
    unboxed-effect ;


USING: effects kernel words ;

M: word stack-effect
    dup "declared-effect" word-prop
    [ nip ] [ parent-word dup [ stack-effect ] when ] if* ;