On Sun, 2009-04-12 at 21:05 -0300, Andre Nathan wrote:
> If I simplify the rule above to
> 
>   "forall"; "("; gen = expr; ")"; var = ipatt; ".";
>   e1 = expr; impl = OPT "=>"; e2 = OPT expr ->
> 
> then everything after the dot is bound to e1, even when there's a "=>". 

For the archives, this happens because "=>" is a valid infix operator
name, and thus is matched by "e1 = expr". Changing it to "->" did the
trick. Thanks to bluestorm at #ocaml for that :)

Andre