title: Specifying a dynamic priority and precedence for an operator in Menhir/Ocamlyacc
body: <p>I'm trying to parse a language where the operators have a dynamic attributes (priority and precedence) using the Menhir parser (similar to Ocamlyacc). During the lexing phase, all the operators fill a <code>OP:string</code> token (so "+" turns into <code>(OP "+")</code>, etc).</p>
  
  <p>The operator attributes are determined at parse time and fill a table associating operators and their attributes. Given this table, how can I instruct Menhir to dynamically change the priority of the rule parsing the operators based on this table's data ?</p>
  
  <p>Thanks,
  CharlieP.</p>