Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2004-03-06 16:05:32 -0800 (Sat, 06 Mar 2004)
Revision: 5427
Log message:

      Fixes to type checking and tuples.  CPS is still broken.
      

Changes	Path
+0 -1	mpcompiler/mmc/core/Files
Deleted	mpcompiler/mmc/core/core_sequent.ml
Deleted	mpcompiler/mmc/core/core_sequent.mli
+605 -618	mpcompiler/mmc/core/core_test.prla
+47 -17	mpcompiler/mmc/core/core_tuple.ml
+4 -2	mpcompiler/mmc/core/core_tuple.mli
+37 -12	mpcompiler/mmc/core/mmc_core_cps.ml
+0 -1	mpcompiler/mmc/core/mmc_core_cps.mli
+1 -1	mpcompiler/mmc/core/mmc_core_tast.ml
+0 -1	mpcompiler/mmc/core/mmc_core_theory.ml
+21 -19	mpcompiler/mmc/core/mmc_core_type_util.ml
+1 -1	mpcompiler/mmc/core/mmc_core_type_util.mli