Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-01-30 20:56:02 -0800 (Sun, 30 Jan 2005)
Revision: 6532
Log message:

      Lots of new typing declarations.
      
      The sweep module is strange, and doesn't typecheck yet.
      

Changes  Path
+17 -4 metaprl-branches/opname_classes2/refiner/reflib/term_ty_infer.ml
+1 -1 metaprl-branches/opname_classes2/support/display/perv.ml
+1 -1 metaprl-branches/opname_classes2/support/display/perv.mli
+1 -1 mpcompiler-branches/opname_classes2/mmc/base/mmc_base_standardize.ml
+0 -2 mpcompiler-branches/opname_classes2/mmc/core/Files
+29 -29 mpcompiler-branches/opname_classes2/mmc/core/mmc_core_ast.ml
+21 -16 mpcompiler-branches/opname_classes2/mmc/core/mmc_core_ast.mli
+0 -1 mpcompiler-branches/opname_classes2/mmc/core/mmc_core_closure.ml
+0 -2 mpcompiler-branches/opname_classes2/mmc/core/mmc_core_cps.ml
+4 -4 mpcompiler-branches/opname_classes2/mmc/core/mmc_core_grammar.ml
+4 -4 mpcompiler-branches/opname_classes2/mmc/core/mmc_core_grammar.mli
+2 -0 mpcompiler-branches/opname_classes2/mmc/core/mmc_core_inline.mli
+2 -1 mpcompiler-branches/opname_classes2/mmc/core/mmc_core_list_util.ml
+1 -1 mpcompiler-branches/opname_classes2/mmc/core/mmc_core_list_util.mli
+216 -32 mpcompiler-branches/opname_classes2/mmc/core/mmc_core_sweep_ty.ml
+63 -48 mpcompiler-branches/opname_classes2/mmc/core/mmc_core_tast.ml
+1 -1 mpcompiler-branches/opname_classes2/mmc/core/mmc_core_tast_util.ml
+1 -1 mpcompiler-branches/opname_classes2/mmc/core/mmc_core_type_check.mli
+1 -0 mpcompiler-branches/opname_classes2/mmc/core/mmc_core_value.mli
+10 -10 mpcompiler-branches/opname_classes2/mmc/extensions/bool/mmc_ext_bool.mli
+17 -17 mpcompiler-branches/opname_classes2/mmc/extensions/int/mmc_ext_int.mli
+12 -7 mpcompiler-branches/opname_classes2/mmc/extensions/operator/mmc_ext_operator.mli
+2 -2 mpcompiler-branches/opname_classes2/mmc/extensions/special/mmc_ext_special.ml
+2 -2 mpcompiler-branches/opname_classes2/mmc/extensions/special/mmc_ext_special.mli
+2 -2 mpcompiler-branches/opname_classes2/mmc/extensions/string/mmc_ext_string.ml
+2 -2 mpcompiler-branches/opname_classes2/mmc/extensions/string/mmc_ext_string.mli
+5 -4 mpcompiler-branches/opname_classes2/mmc/extensions/tyexists/mmc_ext_tyexists.ml
+4 -3 mpcompiler-branches/opname_classes2/mmc/extensions/tyexists/mmc_ext_tyexists.mli
+0 -1 mpcompiler-branches/opname_classes2/util/Files
Deleted mpcompiler-branches/opname_classes2/util/mmc_term_util.ml
Deleted mpcompiler-branches/opname_classes2/util/mmc_term_util.mli