Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-02-23 19:09:57 -0800 (Sun, 23 Feb 2003)
Revision: 4114
Log message:

      This is a working version of CPS transformation, but I am not sure
      if it is the best approach.
      

Changes	Path
+79 -59	metaprl/theories/experimental/compile/m_cps.ml
+12 -6	metaprl/theories/experimental/compile/m_cps.mli
+26 -10	metaprl/theories/experimental/compile/m_ir.ml
+6 -0	metaprl/theories/experimental/compile/m_ir.mli
+6 -6	metaprl/theories/experimental/compile/m_test.ml