Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-07-10 12:37:39 -0700 (Sat, 10 Jul 2004)
Revision: 6056
Log message:

      When hoisting is impossible (because the outer term binds variables that are free
      in the inner one), then skip it instead of dying.
      

Changes	Path
+13 -14	mpcompiler/mmc/base/mmc_base_hoist.ml
+164 -921	mpcompiler/mmc/test/mmc_tests_out.previous