Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-03-11 14:05:49 -0800 (Fri, 11 Mar 2005)
Revision: 6903
Log message:

      (Bug 416) Give a meaningful error message when:
      
      - One of the keywords rule/rewrite/topval is encountered in an .ml file
      
      - One of the keywords prim/interactive/prim_rw/interactive_rw is encountered
        in an .mli file.
      

Changes  Path
+14 -3 metaprl/filter/filter/filter_parse.ml