(push-literal) ( obj -- )

Vocabulary

stack-checker.state

Inputs

obj

a literal

Outputs

None

Word description

Pushes a literal value to the end of the current stack-visitor. The literal is also given a number and registered in the assoc of known-values.

Definition

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

IN: stack-checker.state

: (push-literal) ( obj -- )
    dup <literal> make-known
    [ nip (meta-d) get push ] [ #push, ] 2bi ;