Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-03-24 11:38:58 -0800 (Thu, 24 Mar 2005)
Revision: 7038
Log message:

      Mmc_ext_integer duplicated the sweep rules in Mmc_ext_arithmetic.
      

Changes  Path
+19 -2 metaprl/filter/filter/filter_parse.ml
+7 -1 metaprl/refiner/rewrite/rewrite_match_redex.ml
+61 -53 mpcompiler/mmc/core/mmc_core_cps.ml
+1 -1 mpcompiler/mmc/core/mmc_core_cps.mli
+38 -25 mpcompiler/mmc/extensions/bool/mmc_ext_bool.ml
+20 -37 mpcompiler/mmc/extensions/int/mmc_ext_int.ml
+51 -39 mpcompiler/mmc/extensions/operator/mmc_ext_operator.ml