Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-04-03 23:26:54 -0700 (Sun, 03 Apr 2005)
Revision: 7112
Log message:

      - Replaced "compilable{Constrain{'e;'ty}}" with "compilable{'e;'ty}"
      - Added ast and tast grammar to the "loop" extension.
      

Changes  Path
+1 -1 mpcompiler/mmc/arch/x86/codegen/mmc_x86_codegen.ml
+4 -2 mpcompiler/mmc/base/mmc_base_judgment.ml
+1 -1 mpcompiler/mmc/base/mmc_base_judgment.mli
+1 -1 mpcompiler/mmc/core/mmc_core_closure.ml
+2 -2 mpcompiler/mmc/core/mmc_core_cps.ml
+2 -2 mpcompiler/mmc/core/mmc_core_type_check.ml
+2 -2 mpcompiler/mmc/core/mmc_core_type_check.mli
+1 -1 mpcompiler/mmc/core/mmc_core_type_infer.ml
+9 -0 mpcompiler/mmc/extensions/loop/mmc_ext_loop.mli
+3 -3 mpcompiler/mmc/lir/mmc_lir_closure_elim.ml
+2 -3 mpcompiler/mmc/test/mmc_loop_test.ml
+473 -798 mpcompiler/mmc/test/mmc_tests_out.previous