Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-07-16 12:04:14 -0700 (Fri, 16 Jul 2004)
Revision: 6100
Log message:

      - Added a work-around for Camlp4 bugs handling new-style positions
      (filed OCaml PR#2953 and PR#2954).
      
      - Fixed the problem that we were forgetting to advance by 6 (length of
      "<:doc<") when converting locations within a comment into locations
      within the file.
      
      - Fixed the problem with Comment_parse module giving a wrong location
      of the quotations (it was giving the location of the closing ">>" instead
      of the location of the whole thing).
      
      - Allow subterms to be quotations, not just "top-level" terms.
      
      - At parsing, before discarding the "aname" field of "aterms" (potentially
      named terms), make sure the aname was None. (This uncovered a typo
      in itt_rbtree.ml).
      

Changes  Path
+22 -16 metaprl/filter/base/filter_util.ml
+60 -62 metaprl/filter/filter/term_grammar.ml
+10 -9 metaprl/mllib/comment_parse.mll
+1 -1 metaprl/theories/itt/itt_rbtree.ml
+1 -1 metaprl/theories/itt/itt_struct.ml