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).