Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-03-24 18:53:55 -0800 (Thu, 24 Mar 2005)
Revision: 7043
Log message:

      Add explicit lets for type applications introduced by CPS conversion.
      At the same time, be more aggresive about inlining in direct-call
      optimization, so these type applications can be inlined.
      
      mmc_int_test/test_fact2 now works.
      
      mmc_int_test/test_fact3 fails, because (finally) we have to spill,
      and the spiller hasn't been tested.
      

Changes  Path
+10 -8 mpcompiler/mmc/core/mmc_core_cps.ml
+12 -8 mpcompiler/mmc/extensions/bool/mmc_ext_bool.ml
+3 -2 mpcompiler/mmc/opt/direct/mmc_opt_direct.ml
+18 -0 mpcompiler/mmc/opt/inline/mmc_opt_inline.ml
+6 -0 mpcompiler/mmc/opt/inline/mmc_opt_inline.mli