Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-01-31 18:32:01 -0800 (Mon, 31 Jan 2005)
Revision: 6543
Log message:

      Removed the unused parts of the core_type_util
      

Changes	Path
+0 -2	mpcompiler/mmc/core/mmc_core_closure.ml
+0 -1	mpcompiler/mmc/core/mmc_core_type_check.ml
+0 -1	mpcompiler/mmc/core/mmc_core_type_infer.ml
+0 -81	mpcompiler/mmc/core/mmc_core_type_util.ml
+0 -13	mpcompiler/mmc/core/mmc_core_type_util.mli
+0 -1	mpcompiler/mmc/extensions/fix/mmc_ext_fix.ml
+0 -1	mpcompiler/mmc/extensions/loop/mmc_ext_loop.ml
+0 -1	mpcompiler/mmc/extensions/tuple/mmc_ext_tuple.ml
+0 -1	mpcompiler/mmc/extensions/unit/mmc_ext_unit.ml
+0 -2	mpcompiler/mmc/opt/direct/extensions/fix/mmc_opt_direct_fix.ml