Archives of the Caml mailing list > Message from Francois Pottier

Browse thread

[ANNOUNCE] Alpha release of Menhir, an LR(1) parser generator for ocaml

Francois Pottier
- Márk_S._Zoltán
- Nathaniel Gray
  - skaller
    - Francois Pottier
      - Alessandro Baretta
        
        skaller
        
        Francois Pottier
        
        skaller
      - skaller
        
        Joaquin Cuenca Abela
        
        Francois Pottier
- Stefan Monnier
  - Francois Pottier
    - Stefan Monnier
      - Francois Pottier
        
        Stefan Monnier
        
        Florian Weimer

Date:	2005-12-15 (08:48)
From:	Francois Pottier <Francois.Pottier@i...>
Subject:	Re: [Caml-list] Re: [ANNOUNCE] Alpha release of Menhir, an LR(1) parser generator for ocaml

Hello,

On Thu, Dec 15, 2005 at 01:35:40AM -0500, Stefan Monnier wrote:

> I wish it had something like ml-yacc's automatic handling of syntax-errors
> (which tries to insert/delete tokens in the input stream until the parse
> succeeds).

Do you mean instead of or in addition to the current mechanism? (I assume
instead of. I don't know if the two can be made to coexist.)

I am not particularly happy with Menhir's current error mechanism, which
attempts to follow yacc's. If you could explain to us why ML-Yacc's approach
is superior, that would be great.

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