Changes by: Cristian Tapus (crt at cs.caltech.edu)
Date: 2003-08-11 17:11:22 -0700 (Mon, 11 Aug 2003)
Revision: 4822
Log message:

      Tuples code added. It compiles...
      

Changes	Path
+2 -0	mpcompiler-branches/mojave_sequents/mmc/core/Files
+13 -14	mpcompiler-branches/mojave_sequents/mmc/core/core_test.ml
+7 -9	mpcompiler-branches/mojave_sequents/mmc/core/mmc_core_ast.ml
+2 -4	mpcompiler-branches/mojave_sequents/mmc/core/mmc_core_ast.mli
+4 -4	mpcompiler-branches/mojave_sequents/mmc/core/mmc_core_ast_util.ml
+10 -10	mpcompiler-branches/mojave_sequents/mmc/core/mmc_core_cps.ml
+12 -12	mpcompiler-branches/mojave_sequents/mmc/core/mmc_core_name.ml
+2 -0	mpcompiler-branches/mojave_sequents/mmc/core/mmc_core_name.mli
+17 -17	mpcompiler-branches/mojave_sequents/mmc/core/mmc_core_type_check.ml
+1 -0	mpcompiler-branches/mojave_sequents/mmc/core/mmc_core_type_check.mli
+4 -4	mpcompiler-branches/mojave_sequents/mmc/core/mmc_core_type_erase.ml
+5 -5	mpcompiler-branches/mojave_sequents/mmc/core/mmc_core_type_infer.ml
+12 -12	mpcompiler-branches/mojave_sequents/mmc/core/mmc_core_type_util.ml