Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-05-24 16:42:33 -0700 (Mon, 24 May 2004)
Revision: 5813
Log message:

      Give a better error message in interface/implementation mismatch.
      

Changes	Path
+6 -0	metaprl/filter/base/filter_exn.ml
+1 -1	metaprl/filter/base/filter_summary.ml
+4 -0	metaprl/filter/base/filter_type.ml