introduce-values ( values -- )

Vocabulary

stack-checker.backend

Inputs

values

a sequence

Outputs

None

Word description

Emits an #introduce node to the current stack-visitor which pushes the given values onto the data stack.

Definition

USING: kernel namespaces sequences stack-checker.state
stack-checker.values stack-checker.visitor ;

IN: stack-checker.backend

: introduce-values ( values -- )
    [ [ input-parameter swap set-known ] each ]
    [ length input-count +@ ] [ #introduce, ] tri ;