Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-04-30 04:18:35 -0700 (Fri, 30 Apr 2004)
Revision: 5743
Log message:

      Added an extension for an existential type with pack/unpack. Untested.
      

Changes	Path
+1 -0	mpcompiler/mmc/OMakefile
Properties	mpcompiler/mmc/extensions/exst_type
Added	mpcompiler/mmc/extensions/exst_type/Files
Properties	mpcompiler/mmc/extensions/exst_type/Files
Added	mpcompiler/mmc/extensions/exst_type/mmc_ext_exst_type.ml
Properties	mpcompiler/mmc/extensions/exst_type/mmc_ext_exst_type.ml
Added	mpcompiler/mmc/extensions/exst_type/mmc_ext_exst_type.mli
Properties	mpcompiler/mmc/extensions/exst_type/mmc_ext_exst_type.mli