Re: [Caml-list] Bug in ocamlyacc

[Francois Pottier <Francois.Pottier@inria.fr>]

Hello,

On Tue, Apr 24, 2007 at 03:29:31PM +1000, skaller wrote:
> I won't use Menhir for that reason either. My product, Felix, is
> designed to 'build out of the box' on all platforms with minimal
> pre-requisites, which happen to be: you need
> 
> 	(a) Python
> 	(b) Ocaml
> 	(c) A C/C++ compiler 
> 	    * with development versions of libs

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.

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. 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.

Feel free to make suggestions about Menhir! They are most welcome, even
though, by lack of spare time, Menhir is not moving very fast.

-- 
François Pottier
Francois.Pottier@inria.fr
http://cristal.inria.fr/~fpottier/