Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-03-30 19:14:07 -0800 (Tue, 30 Mar 2004)
Revision: 5578
Log message:

      I was finally able to derive the CPS tail call optimizations from eta
      reduction in a reasonable way.
      

Changes	Path
+4 -3	mpcompiler/mmc/core/Files
+8 -7	mpcompiler/mmc/core/mmc_core_cps.ml
Added	mpcompiler/mmc/core/mmc_core_cps.prla
Properties	mpcompiler/mmc/core/mmc_core_cps.prla
+2 -7	mpcompiler/mmc/core/mmc_core_name.ml
Added	mpcompiler/mmc/core/mmc_core_optimize.ml
Properties	mpcompiler/mmc/core/mmc_core_optimize.ml
Added	mpcompiler/mmc/core/mmc_core_optimize.mli
Properties	mpcompiler/mmc/core/mmc_core_optimize.mli
Added	mpcompiler/mmc/extensions/bool/ext_boolean.prla
Properties	mpcompiler/mmc/extensions/bool/ext_boolean.prla