Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-02-27 15:18:43 -0800 (Sun, 27 Feb 2005)
Revision: 6768
Log message:

      Pack the closures as existentially quantified tuples.
      

Changes  Path
+2 -2 mpcompiler/mmc/base/mmc_base_meta.ml
+79 -20 mpcompiler/mmc/core/mmc_core_tast.ml
+59 -11 mpcompiler/mmc/core/mmc_core_tast.mli
+2 -2 mpcompiler/mmc/extensions/tuple/mmc_ext_tuple.ml
+9 -0 mpcompiler/mmc/lir/closure_elim/mmc_lir_closure_elim_core.ml
+10 -2 mpcompiler/mmc/main/mmc_theory.ml
+4 -0 mpcompiler/mmc/main/mmc_theory.mli
+2 -1 mpcompiler/mmc/test/mmc