]> Excerpts from Paul Steckler's message of Thu Jan 29 05:36:44 +0100 2009: > Hi Nicolas, > > > However I can guess in your question that you don't really want to change the > syntax of the binary operator "&", but rather to change it's meaning. In > camlp4 there is a much more sane and easier way to do this using filters. > By the way there is an example in the camlp4 sources that does exactly this. > > Yes, this seems to work -- but it would be simpler, in fact, if I could just use > a rule in my grammar extension. > Do you know if there's a way to debug grammar extensions? I don't think there is a nice way do to it. > Maybe I need to > DELETE a rule from the original grammar, though it's not clear to me which > rule that is. Look at Camlp4Parsers/Camlp4OCamlRevisedParser.ml The rule is: infixop5: [ [ x = [ "&" | "&&" ] -> <:expr< $lid:x$ >> ] ] ; -- Nicolas Pouillard