Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-04-09 21:34:00 -0700 (Sat, 09 Apr 2005)
Revision: 7191
Log message:

      Callcc should not introduce a binding.
      

Changes	Path
+24 -25	mpcompiler/mmc/core/mmc_core_type_infer.ml
+11 -1	mpcompiler/mmc/core/mmc_core_type_infer.mli
+17 -20	mpcompiler/mmc/extensions/callcc/mmc_ext_callcc.ml
+6 -6	mpcompiler/mmc/extensions/callcc/mmc_ext_callcc.mli
+2 -2	mpcompiler/mmc/test/OMakefile
+15 -15	mpcompiler/mmc/test/mmc_callcc_test.ml
+130 -57	mpcompiler/mmc/test/mmc_tests_out.previous