Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-02-25 18:59:52 -0800 (Tue, 25 Feb 2003)
Revision: 4129
Log message:

      Perform program hoisting as a sequence of pairwise swaps.
      

Changes	Path
+4 -0	metaprl/theories/experimental/compile/m_cps.ml
+5 -0	metaprl/theories/experimental/compile/m_cps.mli
+133 -35	metaprl/theories/experimental/compile/m_prog.ml
+13 -1	metaprl/theories/experimental/compile/m_prog.mli
+4 -1	metaprl/theories/experimental/compile/m_theory.ml