USING: kernel namespaces sequences stack-checker.state ;

IN: stack-checker.backend

: infer-quot-here ( quot -- )
meta-r [
V{ } clone (meta-r) set
[ apply-object terminated? get not ] all?
[ commit-literals check->r ]
[ literals get delete-all ] if
] dip (meta-r) set ;