Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-03-18 16:29:41 -0800 (Tue, 18 Mar 2003)
Revision: 4182
Log message:

      Updated closure conversion/dead code elimination/inlining to use the
      new representation of functions.
      

Changes	Path
+12 -0	metaprl/refiner/refsig/term_op_sig.ml
+85 -0	metaprl/refiner/term_ds/term_op_ds.ml
+67 -0	metaprl/refiner/term_std/term_op_std.ml
+5 -4	metaprl/theories/experimental/compile/Makefile
+255 -119	metaprl/theories/experimental/compile/m_closure.ml
+9 -3	metaprl/theories/experimental/compile/m_closure.mli
+16 -4	metaprl/theories/experimental/compile/m_cps.ml
+3 -3	metaprl/theories/experimental/compile/m_dead.ml
+55 -5	metaprl/theories/experimental/compile/m_ir.ml
+20 -1	metaprl/theories/experimental/compile/m_ir.mli
+42 -76	metaprl/theories/experimental/compile/m_prog.ml
+0 -2	metaprl/theories/experimental/compile/m_prog.mli
+7 -5	metaprl/theories/experimental/compile/m_test.ml
+1 -18	metaprl/theories/experimental/compile/m_theory.ml
+4 -0	metaprl/theories/experimental/compile/m_theory.mli