Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-03-12 12:47:14 -0800 (Sat, 12 Mar 2005)
Revision: 6916
Log message:

      Added grammar for IsValue.  Note, we should try to avoid the use of
      raw term syntax wherever we can.  If you need instructions on how to
      extend the grammar, let me know.
      
      mmc_int_test/test_cps1 passes hoisting.
      

Changes  Path
+23 -19 mpcompiler/mmc/core/mmc_core_closure.ml
+11 -5 mpcompiler/mmc/core/mmc_core_hoist.ml
+3 -3 mpcompiler/mmc/core/mmc_core_sweep.ml
+48 -2 mpcompiler/mmc/core/mmc_core_tast.ml
+5 -2 mpcompiler/mmc/core/mmc_core_tast.mli
+25 -13 mpcompiler/mmc/core/mmc_core_type_check.ml
+5 -1 mpcompiler/mmc/core/mmc_core_type_check.mli