24 lines
745 B
Factor
24 lines
745 B
Factor
|
! Copyright (C) 2004, 2008 Slava Pestov.
|
||
|
|
! See http://factorcode.org/license.txt for BSD license.
|
||
|
|
USING: kernel io effects namespaces sequences quotations vocabs
|
||
|
|
generic words stack-checker.backend stack-checker.state
|
||
|
|
stack-checker.known-words stack-checker.transforms
|
||
|
|
stack-checker.errors stack-checker.inlining
|
||
|
|
stack-checker.visitor.dummy ;
|
||
|
|
IN: stack-checker
|
||
|
|
|
||
|
|
GENERIC: infer ( quot -- effect )
|
||
|
|
|
||
|
|
M: callable infer ( quot -- effect )
|
||
|
|
[ recursive-state get infer-quot ] with-infer drop ;
|
||
|
|
|
||
|
|
: infer. ( quot -- )
|
||
|
|
#! Safe to call from inference transforms.
|
||
|
|
infer effect>string print ;
|
||
|
|
|
||
|
|
: forget-errors ( -- )
|
||
|
|
all-words [
|
||
|
|
dup subwords [ f +cannot-infer+ set-word-prop ] each
|
||
|
|
f +cannot-infer+ set-word-prop
|
||
|
|
] each ;
|