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
Bug in ocamlyacc
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2007-04-24 (14:32)
From: Francois Pottier <Francois.Pottier@i...>
Subject: Re: [Caml-list] Bug in ocamlyacc


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