Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-10-27 19:10:22 -0700 (Thu, 27 Oct 2005)
Revision: 8017
Log message:

      When using camlp4, pass "-loc _loc" argument to get the location variable in
      generated code called "_loc" instead of "loc". This is necessary for
      compatibility with 3.09, where "_loc" is the default. In turn, the "_loc"
      default is necessary in 3.09 because variables that start with an underscore.
      are extempt from the "unused variable" warnings.
      

Changes  Path
+5 -0 metaprl/OMakefile
+1 -1 metaprl/filter/OMakefile
+2 -2 metaprl/filter/base/filter_hash.ml
+106 -106 metaprl/filter/base/filter_ocaml.ml
+1 -1 metaprl/filter/base/filter_util.ml
+324 -324 metaprl/filter/filter/filter_parse.ml
+13 -13 metaprl/filter/filter/filter_patt.ml
+303 -303 metaprl/filter/filter/filter_prog.ml
+142 -141 metaprl/filter/filter/term_grammar.ml
+1 -1 metaprl/mk/prlcomp
+1 -1 metaprl/tactics/proof/OMakefile
+1 -1 metaprl/tactics/proof/proof_boot.ml
+1 -1 metaprl/util/OMakefile