]> gitweb.factorcode.org Git - factor.git/blob - basis/stack-checker/stack-checker.factor
Merge branch 'master' into more_robust_stack_checking
[factor.git] / basis / stack-checker / stack-checker.factor
1 ! Copyright (C) 2004, 2009 Slava Pestov.
2 ! See http://factorcode.org/license.txt for BSD license.
3 USING: kernel io effects namespaces sequences quotations vocabs
4 vocabs.loader generic words stack-checker.backend stack-checker.state
5 stack-checker.known-words stack-checker.transforms
6 stack-checker.errors stack-checker.inlining
7 stack-checker.visitor.dummy ;
8 IN: stack-checker
9
10 GENERIC: infer ( quot -- effect )
11
12 M: callable infer ( quot -- effect )
13     [ infer-quot-here ] with-infer drop ;
14
15 : infer. ( quot -- )
16     #! Safe to call from inference transforms.
17     infer effect>string print ;
18
19 "stack-checker.call-effect" require