Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-04-11 18:42:45 -0700 (Sun, 11 Apr 2004)
Revision: 5640
Log message:

      Added direct-call optimizations for recursive functions.
      Finally, factorial is a loop.
      
      Not quite complete; the types are wrong at the moment.
      

Changes	Path
+1 -0	mpcompiler/mmc/OMakefile
+30 -1	mpcompiler/mmc/core/mmc_core_inline.ml
+5 -0	mpcompiler/mmc/core/mmc_core_inline.mli
+1 -0	mpcompiler/mmc/main/mmc_theory.ml
+16 -16	mpcompiler/mmc/opt/direct/core/mmc_opt_direct.ml
+13 -0	mpcompiler/mmc/opt/direct/core/mmc_opt_direct.mli
Properties	mpcompiler/mmc/opt/direct/extensions/fix
Added	mpcompiler/mmc/opt/direct/extensions/fix/Files
Properties	mpcompiler/mmc/opt/direct/extensions/fix/Files
Added	mpcompiler/mmc/opt/direct/extensions/fix/mmc_opt_direct_fix.ml
Properties	mpcompiler/mmc/opt/direct/extensions/fix/mmc_opt_direct_fix.ml
Added	mpcompiler/mmc/opt/direct/extensions/fix/mmc_opt_direct_fix.mli
Properties	mpcompiler/mmc/opt/direct/extensions/fix/mmc_opt_direct_fix.mli