infer-ndip ( word n -- )

Vocabulary

stack-checker.known-words

Inputs

word	a word
n	the dip depth

Outputs

None

Word description

Performs inferencing for one of the dip words.

Definition

USING: accessors kernel namespaces sequences
stack-checker.backend stack-checker.state ;

IN: stack-checker.known-words

:: infer-ndip ( word n -- )
    literals get
    [ word def>> infer-quot-here ]
    [ pop n [ infer->r infer-quot-here ] [ infer-r> ] bi ]
    if-empty ;