Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-02-26 00:46:25 -0800 (Thu, 26 Feb 2004)
Revision: 5414
Log message:

      Replaced a number of "with _" with more specific exeption matches,
      commented others with "we do want to catch everything here".
      
      I've filed bug 164 for the remaining "with _" (all in the FDL code).
      

Changes  Path
+2 -1 metaprl/filter/filter/term_grammar.ml
+4 -0 metaprl/refiner/refiner/refine.ml
+1 -1 metaprl/refiner/reflib/unify_mm.ml
+1 -1 metaprl/refiner/term_ds/term_base_ds.ml
+4 -0 metaprl/support/shell/shell.ml