[Ocaml-lib-devel] A question or two about ocamlyacc

[Jeffrey A. S. <je...@dh...>]

Forgive the possibly off-topic question, but this is the only place
I've found that's frequented by OCaml library gurus.  If you know a
better place to ask, please let me know.  (I have been reading this
list faithfully for a few months through gmane.org.)

We are looking into using ocamlyacc for a project, but we would like
to have the same control over error handling that was in Johnson's
original yacc.

Here are the things we'd like to have:

o   The ability to mix actions among the symbols of a production,
    as in:

	nonterminal : symbol { action-1 } symbol { action-2 }

o   The yyerrok facility (make the parse engine believe that parsing
    has resynchronized after an error)

o   The yyclearin facility (toss the current input token)

The Berkeley sources on which ocamlyacc is based do have these
facilities.  Does anyone know why they weren't included in ocamlyacc
in the first place?  Is there a reason to believe they couldn't be
added reasonably easily?

We're getting ready to start hacking on ocamlyacc, and it would be
very valuable to hear in advance if it's going to be more difficult
than it seems.

Thanks (in advance) for any advice.

Regards,

Jeff Scofield [PhD]
DHI Technologies, Inc.
Seattle