unused-recursive? ( word -- ? )

Vocabulary

lint

Inputs

word

a word

Outputs

?

a boolean

Word description

Checks whether an inline recursive word has no recursive calls to itself in its inferred body. This includes calls through inline helpers and macro expansions. Words whose bodies cannot be inferred without additional inputs are not reported.

The lint commands report this as an advisory. The declaration remains legal, and no word properties are changed.

Definition

USING: continuations kernel lint.private namespaces words ;

IN: lint

: unused-recursive? ( word -- ? )
    error get-global error-continuation get-global [
        dup inline-recursive?
        [ [ (unused-recursive?) ] [ 2drop f ] recover ]
        [ drop f ] if
    ] 2dip
    [ error set-global ] [ error-continuation set-global ] bi* ;