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
246 constructors?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2007-05-06 (21:05)
From: skaller <skaller@u...>
Subject: Re: [Caml-list] 246 constructors?
On Sun, 2007-05-06 at 22:31 +0200, Till Varoquaux wrote:
> I'm guessing a patch against dypgen could prove usefull then.

I have 221 tokens, and 233 non-terminals .. both just barely
within the 246 limit. 

Looking at dypgen code it is using integer sequence numbers:
I can't tell at this time whether it uses magic. I guess
that Ocamlyacc uses magic. Not sure about Menhir.

* Magic which assumes sequential tags of constructors 
isn't compatible with polymorphic variants.

* It looks like Ocamlyacc is close to blowing up too

The dypgen grammar representation is built of symbols of the variant
type with a case for each terminal and non-terminal AND 
parametrised by all the non-terminals: so there are around
500 cases with 233 type parameters.

John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: