> > Is there a way to compare a Camlp4 ast node to a quotation
> > that ignores the locations?

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

Yes, that's it.  Thanks.

(sorry about the double post)