Changes by: Adam Granicz (granicz at cs.caltech.edu)
Date: 2003-09-01 08:00:09 -0700 (Mon, 01 Sep 2003)
Revision: 4906
Log message:

      Added magic/version to .cph file header.
      Now, before we do anything with .cph files, we check
      1. the magic number. If incorrect, we raise Bad_magic
      2. the version number. If incorrect, we use .pho file
      3. if header checks out, we use .cph file (of course, we check
      whether the .pho file is newer or not)
      
      Also, got rid of precedence warnings. This was a check to ensure that
      all prec directives list terminal symbols. This is too conservative,
      so I removed it entirely. I will modify this in my next commit to
      check whether all rules with %prec name valid precedence symbols,
      e.g. either existing terminal symbols or those listed in the precedence
      section.
      

Changes  Path
+1 -1 metaprl/filter/phobos/Makefile
+26 -21 metaprl/filter/phobos/phobos_compile.ml
+80 -80 metaprl/filter/phobos/phobos_exn.ml
+3 -2 metaprl/filter/phobos/phobos_exn.mli
+21 -43 metaprl/filter/phobos/phobos_grammar.ml
+10 -0 metaprl/filter/phobos/phobos_marshal.ml
+3 -0 metaprl/filter/phobos/phobos_parse_state.ml
+2 -4 metaprl/filter/phobos/phobos_parse_state.mli