Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-03-12 11:25:50 -0800 (Sat, 12 Mar 2005)
Revision: 6915
Log message:

      Added non-binding contexts (bug #417).
      mmc_int_test/test1 now passes closure conversion.
      

Changes	Path
+59 -23	metaprl/refiner/term_gen/term_meta_gen.ml
+12 -1	mpcompiler/mmc/core/mmc_core_closure.ml
+6 -2	mpcompiler/mmc/core/mmc_core_tast.ml
+13 -4	mpcompiler/mmc/core/mmc_core_tast.mli