parsing - OCaml パーサーと文法の構造

Question

私は、構文が次のような小さな言語のパーサーを開発しています。

P::= 1 | 0 | P+P | P and P | P wait(d) P 

これが私がOcaml camlp4で書いたコードです

action:
  [
     ["act"; a = LIDENT  -> Act(a)]
    |
     ["coact"; a = LIDENT  -> Act2(a)]  
  ];

  proc: 
  [ 
     [ "ZERO" -> Zero]
    | RIGHTA
     ["."; l = action; p = SELF -> Now(l,p)]
    | RIGHTA
     [":"; l = action;  p = SELF -> Delay(l,p)]
    | LEFTA
     [p1 = SELF; "+"; p2 = SELF -> Plus(p1,p2)]
    |RIGHTA
     [p1 = SELF; "WAIT"; "("; d = INT; ")"; p2 = SELF -> Wait(p1,d,p2)]
    | 
     [ x = UIDENT -> Proc(x)]   
  ];

残念ながら、パーサーは次のような文字列を解析しません

.act abort WAIT(4) :act close

WAIT コンストラクトのルールは、最初の引数として proc を想定しているためです。

どうすればこれを修正できますか?