Re: [Caml-list] analyzing Camlp4 nodes

[Wojciech Meyer <wojciech.meyer@googlemail.com>]

There is Camlp4LocationStripper.ml filter in Camlp4/Filters.

On Fri, Jul 13, 2012 at 11:12 AM, Gabriel Scherer
<gabriel.scherer@gmail.com> wrote:
> 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.
>
> --
> Caml-list mailing list.  Subscription management and archives:
> https://sympa-roc.inria.fr/wws/info/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>