Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-04-08 12:02:47 -0700 (Thu, 08 Apr 2004)
Revision: 5621
Log message:

      1. Removed the naming stage.
      2. Added the Mmc_core_front, for front-end transformations that
         are performed after type checking.  For example, this is the
         stage for eliminating:
            a. Short-circuit Boolean operations && and ||
            b. Loops
            c. Conditionals nested in an expression
      3. Added "direct" functions for functions that do not escape.
      

Changes  Path
+1 -0 metaprl/editor/ml/mpconfig
+1 -0 mpcompiler/mmc/OMakefile
+0 -1 mpcompiler/mmc/core/Files
+83 -4 mpcompiler/mmc/core/mmc_core_front.ml
+5 -0 mpcompiler/mmc/core/mmc_core_front.mli
Deleted mpcompiler/mmc/core/mmc_core_name.ml
Deleted mpcompiler/mmc/core/mmc_core_name.mli
+0 -14 mpcompiler/mmc/core/mmc_core_optimize.ml
+0 -5 mpcompiler/mmc/core/mmc_core_tast.ml
+0 -2 mpcompiler/mmc/core/mmc_core_theory.ml
+0 -24 mpcompiler/mmc/extensions/array/mmc_ext_array.ml
+24 -33 mpcompiler/mmc/extensions/bool/mmc_ext_bool.ml
Properties mpcompiler/mmc/extensions/direct
Added mpcompiler/mmc/extensions/direct/Files
Properties mpcompiler/mmc/extensions/direct/Files
Added mpcompiler/mmc/extensions/direct/mmc_ext_direct.ml
Properties mpcompiler/mmc/extensions/direct/mmc_ext_direct.ml
Added mpcompiler/mmc/extensions/direct/mmc_ext_direct.mli
Properties mpcompiler/mmc/extensions/direct/mmc_ext_direct.mli
+0 -9 mpcompiler/mmc/extensions/fix/mmc_ext_fix.ml
+0 -7 mpcompiler/mmc/extensions/fix/mmc_ext_fix.mli
+2 -1 mpcompiler/mmc/extensions/fix/mmc_ext_fix_x86.ml
+0 -1 mpcompiler/mmc/extensions/fix/mmc_ext_fix_x86.mli
+9 -9 mpcompiler/mmc/extensions/int/mmc_ext_int.ml
+0 -1 mpcompiler/mmc/extensions/int/mmc_ext_int.mli
+0 -13 mpcompiler/mmc/extensions/loop/mmc_ext_loop.ml
+16 -20 mpcompiler/mmc/extensions/operator/mmc_ext_operator.ml
+0 -9 mpcompiler/mmc/extensions/string/mmc_ext_string.ml
+0 -1 mpcompiler/mmc/extensions/string/mmc_ext_string.mli
+0 -15 mpcompiler/mmc/extensions/tuple/mmc_ext_tuple.ml
+0 -12 mpcompiler/mmc/extensions/unit/mmc_ext_unit.ml
+1 -0 mpcompiler/mmc/main/mmc_theory.ml
+1 -0 mpcompiler/mmc/main/mmc_theory.mli
+2 -2 mpcompiler/mmc/syntax.pho
+4 -0 mpcompiler/mmc/test/mmc_bool_test.ml