Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-04-08 22:45:21 -0700 (Fri, 08 Apr 2005)
Revision: 7185
Log message:

      - Added type erasure to callcc extension.
      - Added a few tests for the callcc extension (these tests do not work yet).
      

Changes	Path
+0 -6	mpcompiler/mmc/core/mmc_core_type_erase.ml
+6 -0	mpcompiler/mmc/core/mmc_core_type_erase.mli
+14 -0	mpcompiler/mmc/extensions/callcc/mmc_ext_callcc.ml
+5 -0	mpcompiler/mmc/test/OMakefile
Added	mpcompiler/mmc/test/mmc_callcc_test.ml
Properties	mpcompiler/mmc/test/mmc_callcc_test.ml
Added	mpcompiler/mmc/test/mmc_callcc_test.mli
Properties	mpcompiler/mmc/test/mmc_callcc_test.mli