(step-into-execute) ( word -- )

Vocabulary

tools.continuations.private

Inputs

word

an object

Outputs

None

Definition

USING: accessors combinators effects fry generic generic.single
kernel macros macros.private sequences threads
tools.continuations tools.crossref words ;

IN: tools.continuations.private

: (step-into-execute) ( word -- )
    {
        { [ dup fry-word? ] [ execute add-breakpoint break ] }
        {
            [ dup "step-into" word-prop ]
            [ "step-into" word-prop call ]
        }
        {
            [ dup single-generic? ]
            [ effective-method (step-into-execute) ]
        }
        {
            [ dup macro? ]
            [
                [ "macro" word-prop ]
                [ stack-effect real-macro-effect ] bi
                call-effect (step-into-quotation)
            ]
        }
        {
            [ dup uses \ suspend swap member? ]
            [ execute break ]
        }
        { [ dup primitive? ] [ execute break ] }
        [ def>> (step-into-quotation) ]
    } cond ;