Changes by: Cristian Tapus (crt at cs.caltech.edu)
Date: 2003-08-18 17:13:09 -0700 (Mon, 18 Aug 2003)
Revision: 4849
Log message:

      Merged mojave_sequents branch back to the trunk.
      

Changes	Path
+1 -1	metaprl/mk/preface
Properties	mpcompiler/mmc
Added	mpcompiler/mmc/Makefile
Properties	mpcompiler/mmc/Makefile
+22 -0	mpcompiler/mmc/OMakefile
+17 -12	mpcompiler/mmc/core/Files
+2 -5	mpcompiler/mmc/core/core_sequent.ml
+52 -3	mpcompiler/mmc/core/core_test.ml
Added	mpcompiler/mmc/core/core_tuple.ml
Properties	mpcompiler/mmc/core/core_tuple.ml
Added	mpcompiler/mmc/core/core_tuple.mli
Properties	mpcompiler/mmc/core/core_tuple.mli
+59 -12	mpcompiler/mmc/core/mmc_core_ast.ml
+15 -5	mpcompiler/mmc/core/mmc_core_ast.mli
Added	mpcompiler/mmc/core/mmc_core_ast_util.ml
Properties	mpcompiler/mmc/core/mmc_core_ast_util.ml
Added	mpcompiler/mmc/core/mmc_core_ast_util.mli
Properties	mpcompiler/mmc/core/mmc_core_ast_util.mli
Added	mpcompiler/mmc/core/mmc_core_closure.ml
Properties	mpcompiler/mmc/core/mmc_core_closure.ml
Added	mpcompiler/mmc/core/mmc_core_closure.mli
Properties	mpcompiler/mmc/core/mmc_core_closure.mli
+69 -30	mpcompiler/mmc/core/mmc_core_cps.ml
+7 -0	mpcompiler/mmc/core/mmc_core_cps.mli
Added	mpcompiler/mmc/core/mmc_core_list_util.ml
Properties	mpcompiler/mmc/core/mmc_core_list_util.ml
Added	mpcompiler/mmc/core/mmc_core_list_util.mli
Properties	mpcompiler/mmc/core/mmc_core_list_util.mli
+34 -8	mpcompiler/mmc/core/mmc_core_name.ml
+7 -2	mpcompiler/mmc/core/mmc_core_name.mli
+47 -13	mpcompiler/mmc/core/mmc_core_tast.ml
+3 -4	mpcompiler/mmc/core/mmc_core_tast.mli
Added	mpcompiler/mmc/core/mmc_core_tast_util.ml
Properties	mpcompiler/mmc/core/mmc_core_tast_util.ml
Added	mpcompiler/mmc/core/mmc_core_tast_util.mli
Properties	mpcompiler/mmc/core/mmc_core_tast_util.mli
+9 -0	mpcompiler/mmc/core/mmc_core_theory.ml
+118 -29	mpcompiler/mmc/core/mmc_core_type_check.ml
+1 -0	mpcompiler/mmc/core/mmc_core_type_check.mli
+55 -15	mpcompiler/mmc/core/mmc_core_type_erase.ml
+129 -31	mpcompiler/mmc/core/mmc_core_type_infer.ml
+44 -7	mpcompiler/mmc/core/mmc_core_type_util.ml
Properties	mpcompiler/mmc/extensions
+3 -1	mpcompiler/mmc/extensions/Files
+49 -5	mpcompiler/mmc/extensions/ext_arithmetic_integer.ml
Added	mpcompiler/mmc/extensions/ext_array_integer.ml
Properties	mpcompiler/mmc/extensions/ext_array_integer.ml
Added	mpcompiler/mmc/extensions/ext_array_integer.mli
Properties	mpcompiler/mmc/extensions/ext_array_integer.mli
Added	mpcompiler/mmc/extensions/ext_int_test.ml
Properties	mpcompiler/mmc/extensions/ext_int_test.ml
Added	mpcompiler/mmc/extensions/ext_int_test.mli
Properties	mpcompiler/mmc/extensions/ext_int_test.mli
+10 -12	mpcompiler/mmc/extensions/ext_integer.ml