Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-01-31 00:20:11 -0800 (Mon, 31 Jan 2005)
Revision: 6535
Log message:

      More progress on mmc.
      
      We now need token matching in Filter_patt.  Perhaps this is string list
      matching...
      

Changes	Path
+2 -2	metaprl-branches/opname_classes2/filter/filter/filter_patt.ml
+2 -5	metaprl-branches/opname_classes2/refiner/reflib/term_ty_infer.ml
+0 -1	mpcompiler-branches/opname_classes2/mmc/base/mmc_base_judgment.mli
+0 -61	mpcompiler-branches/opname_classes2/mmc/core/mmc_core_ast.ml
+12 -8	mpcompiler-branches/opname_classes2/mmc/core/mmc_core_ast.mli
+0 -61	mpcompiler-branches/opname_classes2/mmc/core/mmc_core_tast.ml
+3 -3	mpcompiler-branches/opname_classes2/mmc/core/mmc_core_tast.mli
+36 -28	mpcompiler-branches/opname_classes2/mmc/core/mmc_core_type_erase.ml
+5 -1	mpcompiler-branches/opname_classes2/mmc/core/mmc_core_type_erase.mli
+17 -17	mpcompiler-branches/opname_classes2/mmc/core/mmc_core_type_infer.ml
+9 -14	mpcompiler-branches/opname_classes2/mmc/core/mmc_core_value.ml
+11 -5	mpcompiler-branches/opname_classes2/mmc/extensions/bool/mmc_ext_bool.mli
+23 -20	mpcompiler-branches/opname_classes2/mmc/extensions/int/mmc_ext_int.mli
+32 -5	mpcompiler-branches/opname_classes2/mmc/extensions/operator/mmc_ext_operator.mli
+1 -6	mpcompiler-branches/opname_classes2/mmc/extensions/string/mmc_ext_string.ml
+3 -0	mpcompiler-branches/opname_classes2/mmc/extensions/string/mmc_ext_string.mli