non-inline-word ( word -- )

Vocabulary

stack-checker.known-words

Inputs

word

an object

Outputs

None

Definition

USING: combinators kernel locals.types macros
stack-checker.backend stack-checker.dependencies
stack-checker.errors stack-checker.transforms words ;

IN: stack-checker.known-words

: non-inline-word ( word -- )
    dup +effect+ depends-on {
        { [ dup "shuffle" word-prop ] [ infer-shuffle-word ] }
        { [ dup "special" word-prop ] [ infer-special ] }
        {
            [ dup "transform-quot" word-prop ]
            [ apply-transform ]
        }
        { [ dup macro? ] [ apply-macro ] }
        { [ dup local? ] [ infer-local-reader ] }
        { [ dup local-reader? ] [ infer-local-reader ] }
        { [ dup local-writer? ] [ infer-local-writer ] }
        { [ dup "no-compile" word-prop ] [ do-not-compile ] }
        [ dup required-stack-effect apply-word/effect ]
    } cond ;