Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2004-01-30 17:11:03 -0800 (Fri, 30 Jan 2004)
Revision: 5323
Log message:

      Changed AtomTyApply to take 3 arguments and cleaned up the giant rewrite in CPS.
      

Changes  Path
+8 -8 mpcompiler/mmc/core/core_test.ml
+10 -9 mpcompiler/mmc/core/core_tuple.ml
+1 -0 mpcompiler/mmc/core/mmc_core_closure.ml
+68 -32 mpcompiler/mmc/core/mmc_core_cps.ml
+4 -4 mpcompiler/mmc/core/mmc_core_list_util.ml
+3 -3 mpcompiler/mmc/core/mmc_core_tast.ml
+1 -1 mpcompiler/mmc/core/mmc_core_tast.mli
+1 -1 mpcompiler/mmc/core/mmc_core_tast_util.ml
+0 -1 mpcompiler/mmc/core/mmc_core_theory.ml
+54 -14 mpcompiler/mmc/core/mmc_core_type_check.ml
+1 -1 mpcompiler/mmc/core/mmc_core_type_erase.ml
+15 -4 mpcompiler/mmc/core/mmc_core_type_infer.ml
+37 -14 mpcompiler/mmc/core/mmc_core_type_util.ml
+3 -0 mpcompiler/mmc/core/mmc_core_type_util.mli
+15 -15 mpcompiler/mmc/extensions/ext_arithmetic.ml
+11 -11 mpcompiler/mmc/extensions/ext_arithmetic_integer.ml
+12 -12 mpcompiler/mmc/extensions/ext_array.ml
+26 -28 mpcompiler/mmc/extensions/ext_boolean.ml
+18 -18 mpcompiler/mmc/extensions/ext_int_test.ml
+4 -4 mpcompiler/mmc/extensions/ext_integer.ml