Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-03-11 22:39:53 -0800 (Fri, 11 Mar 2005)
Revision: 6911
Log message:

      NOTE: this breaks binary compatibility, bleh.
      
      Added much better error messages to the parser, as Aleksey and I
      discussed.
      

Changes  Path
+4 -4 metaprl/filter/base/filter_exn.ml
+1 -1 metaprl/filter/base/filter_grammar.ml
+1 -1 metaprl/filter/base/filter_magic.ml
+2 -0 metaprl/refiner/refiner/refiner_debug.ml
+2 -2 metaprl/refiner/reflib/refine_exn.ml
+1 -0 metaprl/refiner/refsig/term_shape_sig.ml
+49 -0 metaprl/refiner/term_gen/term_shape_gen.ml
+10 -4 mpcompiler/mmc/core/mmc_core_closure.ml
+1 -1 mpcompiler/mmc/core/mmc_core_sweep.mli