Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-04-16 17:31:37 -0700 (Fri, 16 Apr 2004)
Revision: 5663
Log message:

      Declared a "default_extract" term and killed all those annoying "= it".
      

Changes  Path
+4 -0 mpcompiler/mmc/base/mmc_base_judgment.ml
+4 -0 mpcompiler/mmc/base/mmc_base_judgment.mli
+0 -2 mpcompiler/mmc/core/mmc_core_cps.ml
+0 -1 mpcompiler/mmc/core/mmc_core_front.ml
+0 -1 mpcompiler/mmc/core/mmc_core_hoist.ml
+2 -2 mpcompiler/mmc/core/mmc_core_list_util.ml
+0 -1 mpcompiler/mmc/core/mmc_core_reserve.ml
+4 -30 mpcompiler/mmc/core/mmc_core_type_check.ml
+0 -1 mpcompiler/mmc/core/mmc_core_type_infer.ml
+4 -4 mpcompiler/mmc/extensions/array/mmc_ext_array.ml
+10 -10 mpcompiler/mmc/extensions/bool/mmc_ext_bool.ml
+0 -1 mpcompiler/mmc/extensions/fix/mmc_ext_fix.ml
+15 -15 mpcompiler/mmc/extensions/int/mmc_ext_int.ml
+0 -1 mpcompiler/mmc/extensions/loop/mmc_ext_loop.ml
+2 -3 mpcompiler/mmc/extensions/operator/mmc_ext_operator.ml
+0 -2 mpcompiler/mmc/extensions/reserve/mmc_ext_reserve.ml
+0 -3 mpcompiler/mmc/extensions/special/mmc_ext_special.ml
+2 -2 mpcompiler/mmc/extensions/string/mmc_ext_string.ml
+2 -2 mpcompiler/mmc/extensions/tuple/mmc_ext_tuple.ml
+2 -2 mpcompiler/mmc/extensions/unit/mmc_ext_unit.ml