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
_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
