Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-04-09 19:09:14 -0700 (Fri, 09 Apr 2004)
Revision: 5627
Log message:

      Direct calls are closer to working.  However, perhaps a different
      approach is better.  In the new approach, we would use normal
      std and rec functions before closure conversion, and only introduce
      direct calls after closure conversion as an optimization.
      

Changes  Path
+29 -5 mpcompiler/mmc/core/mmc_core_closure.ml
+2 -2 mpcompiler/mmc/core/mmc_core_tast.ml
+2 -0 mpcompiler/mmc/core/mmc_core_theory.ml
+32 -1 mpcompiler/mmc/extensions/direct/mmc_ext_direct.ml
+10 -2 mpcompiler/mmc/extensions/direct/mmc_ext_direct.mli
+9 -3 mpcompiler/mmc/extensions/fix/mmc_ext_fix.ml
+1 -0 mpcompiler/mmc/extensions/fix/mmc_ext_fix.mli
+11 -1 mpcompiler/mmc/test/mmc_int_test.ml