Browse thread
Bug in ocamlyacc
[
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: | 2007-04-24 (18:59) |
From: | skaller <skaller@u...> |
Subject: | Re: [Caml-list] Bug in ocamlyacc |
On Tue, 2007-04-24 at 16:32 +0200, Francois Pottier wrote: > You could in principle pre-compile your parser on your own machine using > menhir and ship the generated files, so menhir wouldn't be a prerequisite. Yes, that is possible, assuming I can also ship any required libraries. > There are at least two reasons why Menhir isn't (yet) shipped with ocaml. > First, it produces code which is significantly larger than ocamlyacc's > tables. This might be a problem for some people, so we should add an option to > produce tables instead of code. OUCH. That's a significant complication. > Second, Menhir is still considered > experimental, and its input language could still evolve. For instance, its > treatment of errors and error recovery might be modified in the future, as > well as its treatment of priorities. Ocaml is still experimental. Its input language is evolving all the time. It wouldn't evolve much if it didn't have a user base. > Feel free to make suggestions about Menhir! They are most welcome, even > though, by lack of spare time, Menhir is not moving very fast. Sure! My thoughts would be: Menhir should really go to GLR. [Felix has GLR parsing built in :] -- John Skaller <skaller at users dot sf dot net> Felix, successor to C++: http://felix.sf.net