Browse thread
246 constructors?
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ 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