Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-03-21 05:24:23 -0800 (Fri, 21 Mar 2003)
Revision: 4207
Log message:

      Print a meaningful error message (as opposed to uncaught Not_found) when
      a magic number does not match.
      

Changes	Path
+17 -2	metaprl/filter/base/filter_exn.ml
+2 -2	metaprl/mllib/file_base.ml
+9 -3	metaprl/mllib/file_type_base.ml
+3 -2	metaprl/mllib/file_type_base.mli