Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-03-27 23:01:20 -0800 (Thu, 27 Mar 2003)
Revision: 4278
Log message:

      Modified closure conversion.
      

Changes	Path
+1 -0	metaprl-branches/lm_libmojave/doc/latex/theories/m-paper.tex
+73 -52	metaprl-branches/lm_libmojave/theories/experimental/compile/m_doc_closure.ml
+5 -0	metaprl-branches/lm_libmojave/theories/experimental/compile/m_doc_comment.ml
+1 -0	metaprl-branches/lm_libmojave/theories/experimental/compile/m_doc_comment.mli
+4 -1	metaprl-branches/lm_libmojave/theories/experimental/compile/m_doc_ir.ml
+1 -0	metaprl-branches/lm_libmojave/theories/experimental/compile/m_doc_ir.mli
+27 -16	metaprl-branches/lm_libmojave/theories/experimental/compile/m_doc_opt.ml