Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-03-03 23:29:05 -0800 (Wed, 03 Mar 2004)
Revision: 5425
Log message:

      Added "I am stuck where I should not be" error reporting to Naming and CPS.
      Untested for now.
      

Changes  Path
+2 -3 metaprl/support/tactics/top_conversionals.ml
+1 -1 mpcompiler/mmc/core/core_sequent.ml
+6 -0 mpcompiler/mmc/core/mmc_core_cps.ml
+7 -0 mpcompiler/mmc/core/mmc_core_name.ml
+12 -19 mpcompiler/mmc/core/mmc_core_util.ml
+6 -7 mpcompiler/mmc/core/mmc_core_util.mli