basis/stack-checker/stack-checker.factor

   1 ! Copyright (C) 2004, 2010 Slava Pestov.
   2 ! See http://factorcode.org/license.txt for BSD license.
   3 USING: accessors classes effects generic io kernel namespaces
   4 quotations sequences stack-checker.backend stack-checker.errors
   5 stack-checker.inlining stack-checker.known-words
   6 stack-checker.state stack-checker.transforms
   7 stack-checker.visitor.dummy vocabs vocabs.loader words ;
   8 IN: stack-checker
   9
  10 : infer ( quot -- effect )
  11     callable check-instance
  12     [ infer-quot-here ] with-infer drop ;
  13
  14 : infer. ( quot -- )
  15     ! Safe to call from inference transforms.
  16     infer effect>string print ;
  17
  18 M: callable stack-effect infer ;