Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-07-15 17:07:35 -0700 (Tue, 15 Jul 2003)
Revision: 4749
Log message:

      Merged CPS conversion and sequent representation of
      quantifiers onto the trunk.
      

Changes  Path
+3 -0 mpcompiler/mmc/core/Files
Added mpcompiler/mmc/core/core_sequent.ml
Properties mpcompiler/mmc/core/core_sequent.ml
Added mpcompiler/mmc/core/core_sequent.mli
Properties mpcompiler/mmc/core/core_sequent.mli
+1 -1 mpcompiler/mmc/core/core_test.ml
+58 -16 mpcompiler/mmc/core/mmc_core_cps.ml
Added mpcompiler/mmc/core/mmc_core_cps.mli
Properties mpcompiler/mmc/core/mmc_core_cps.mli
+4 -1 mpcompiler/mmc/core/mmc_core_tast.ml
+1 -0 mpcompiler/mmc/core/mmc_core_tast.mli
+1 -0 mpcompiler/mmc/core/mmc_core_theory.ml
+10 -0 mpcompiler/mmc/core/mmc_core_type_erase.ml
+1 -1 mpcompiler/mmc/core/mmc_core_type_infer.ml
Added mpcompiler/mmc/core/mmc_core_type_util.ml
Properties mpcompiler/mmc/core/mmc_core_type_util.ml
Added mpcompiler/mmc/core/mmc_core_type_util.mli
Properties mpcompiler/mmc/core/mmc_core_type_util.mli