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
Camlp4: extending syntax of record definitions
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2005-04-19 (15:16)
From: Markus Mottl <markus.mottl@g...>
Subject: Re: [Caml-list] too few public grammar entry points
On 4/19/05, Stefano Zacchiroli <> wrote:
> On Mon, Apr 18, 2005 at 01:19:43PM -0700, Martin Jambon wrote:
> > If the entry that contains this rule is public, then you can delete the
> > rule and rewrite it, and everything is fine.
> > Otherwise, you have to improvise. Which is the case here: the type_kind
> > entry is not visible from outside.
> I think this is a major problem with current campl4 situation. In my
> experience one starts extending an entry point of the ocaml grammar,
> then discover that he needs to extend something else, but unfortunately
> that "something else" is not public.
> Why there are so few grammar entry points made public?
> I think camlp4-ers life woule be a lot easier if more of them are made
> public.

I second this suggestion: please add more public entry points to the grammar.


Markus Mottl