[Menhir-list] Error reporting

Francois Pottier Francois.Pottier at inria.fr
Tue Feb 15 21:28:30 CET 2011


On Tue, Feb 15, 2011 at 07:31:57PM +0100, Rémi Dewitte wrote:
> It does help, a very good start. We could modify the ParseError to accept a
> string parameter to provide a better error message.

Yes, maybe we could. I need to think a bit about this.

> It seems that exception is stored as a value _eRR, why ?

I seem to recall that we wanted the keyword "$syntaxerror" to have the same
number of characters as the ocaml code      "(raise _eRR)" so as to avoid
affecting source code locations when the change is performed. But I am not
sure if it's really important.

-- 
François Pottier
Francois.Pottier at inria.fr
http://gallium.inria.fr/~fpottier/



More information about the Menhir-list mailing list