Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-04-08 17:52:25 -0700 (Fri, 08 Apr 2005)
Revision: 7181
Log message:

      Implemented callcc/throw. Completely untested.
      

Changes	Path
Properties	mpcompiler/mmc/extensions/callcc
Added	mpcompiler/mmc/extensions/callcc/Files
Properties	mpcompiler/mmc/extensions/callcc/Files
Added	mpcompiler/mmc/extensions/callcc/mmc_ext_callcc.ml
Properties	mpcompiler/mmc/extensions/callcc/mmc_ext_callcc.ml
Added	mpcompiler/mmc/extensions/callcc/mmc_ext_callcc.mli
Properties	mpcompiler/mmc/extensions/callcc/mmc_ext_callcc.mli