Version française
Home     About     Download     Resources     Contact us    
Browse thread
Camlp4 help
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Andre Nathan <andre@d...>
Subject: Re: [Caml-list] Camlp4 help
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