Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
A few comment on the new camlp4 ...
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2007-05-22 (08:18)
From: Nicolas Pouillard <nicolas.pouillard@g...>
Subject: Re: [Caml-list] A few comment on the new camlp4 ...
On 5/22/07, Christophe Raffalli <> wrote:
> Dear list members,
> I am finalising the port of bindlib to camlp4 3.10 and I have some minor
> comments:
> - Thanks for the new possible keywords ... however, "^))" is considered
> as one keyword ... and "))" is not ... may be this could be improved ?

Of course not )) is not a "safe" new keyword since it's already parsed
as ")", ")".

> - I had some trouble that I solved with the change of type for
> $list:...$, the compilation lines to produce executable like camlp4orf
> with my own extension add and a few others I can not remember.

Seems normal, since many changes on that subject.

> - I had to extend the match_case0 rule instead of expr LEVEL "expr1"
> because this level disapeared. (I had a rule with "match expr with bind
> f in e -> expr"
> which I can not make work now, but anyway, extending match_case0 here is
> better.

"expr1" has been renamed "top" but in your case it's safe to extend
match_case0 with things that starts by "with"

Thanks, for your comments.

Nicolas Pouillard