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

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Jérémie Dimino <jeremie@d...>
Subject: Re: [Caml-list] camlp4 infix let
Hi,

Le mercredi 07 avril 2010 à 15:05 -0400, Jacques Le Normand a écrit :
> Dear List,
> I'm writing a camlp4 syntax extension and I'd like to write 
> 
>     <:expr< let ( >>= ) = Bar.( >>= ) in 5 >>
> 
> but camlp4 complains:
> 
>       While expanding quotation "expr" in a position of "expr":
>         Parse error: ")" or [ipatt] expected after "(" (in [ipatt])
> 
> yet it seems to be valid revised syntax. Does anyone have any ideas?

It is because the ">>" of the ">>=" operator is detected as the end of
the camlp4 quotation. You can try something like that:

   let operator = ">>=" in <:expr< let ($lid:operator$) = Bar.($lid:operator$) in 5 >>

Cheers,
Jérémie