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