Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-07-13 17:45:29 -0700 (Tue, 13 Jul 2004)
Revision: 6073
Log message:

      For now, hardcode "addrC [0; 0]" into the hoisting code (to account
      for "compilable{Constrain{'e; 'ty}}". Marked it with an "XXX: HACK:"
      

Changes  Path
+2 -1 mpcompiler/mmc/base/mmc_base_hoist.ml
+702 -442 mpcompiler/mmc/test/mmc_tests_out.previous