Re: [Caml-list] analyzing Camlp4 nodes

[Gabriel Scherer <gabriel.scherer@gmail.com>]

I'm sorry but I don't understand your question.
What do you mean by "comparing" ast nodes? Is it an equality/ordering
test between the node as OCaml values?
I don't understand what you mean by the idea of "a quotation and
another quotation" having "the same location".
Maybe a concrete example would be clearer.

If your question is: how do I text that two pieces of ASTs are equal
*modulo* the location (the term structure is the same but the
locations are allowed to be different), then you can do that by
erasing the locations. Untested code:

  let strip_locations = Ast.map_loc (fun _ -> Loc.ghost)
  let equal_modulo_loc a b = (strip_locations a) = (strip_locations b)

On Fri, Jul 13, 2012 at 10:48 AM, Dan Bensen <danbensen@att.net> wrote:
>
> Is there a way to compare a Camlp4 ast node to a quotation
> that ignores the locations?
> Camlp4 seems to rely on quotations as much as possible,
> but it seems like you have to either compare a quotation
> with another quotation, so they have the same location,
> or write out the ast code explicitly.