apply-literal-values-transform ( quot values stack rstate -- )

Vocabulary

stack-checker.transforms

Inputs

quot	an object
values	an object
stack	an object
rstate	an object

Outputs

None

Definition

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

IN: stack-checker.transforms

:: apply-literal-values-transform
    ( quot values stack rstate -- )
    rstate recursive-state
    [ stack quot call-transformer ] with-variable values
    [ length shorten-d ] [ #drop, ] bi rstate infer-quot ;