Version française
Home     About     Download     Resources     Contact us    
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: -- (:)
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++: http://felix.sf.net