I find myself having to often implement rules such as:

foo_plus: foo {[$1]} | foo foo_plus {$1::$2} ;
foo_star: foo_plus {$1} | {[]} ;

in my parsers.  To get rid of this annoyance, here 
is a patch that add support for * and + to ocamlyacc.

http://vilya.homelinux.net/~andrewl/ocamlyacc_p1.diff

it is a bit hackish, but even limited support for * and + makes
writting grammers less painful.

I modify get_name to check for + and *, and rewrite the name
it finds if those exist.  It also adds appropriate rules to a 
buffer to implement the rewritten name.  I change the read character
rutine such that at EOF I switch to the buffer holding the generated
rules.  This has been tested not to break the bootstrapping system.

An example:

%token <int> INT_LITERAL
%token EOF

%start main /* entry point */
%type <int list> main

%%
main:
  INT_LITERAL+ EOF {$1}
  ;


Andrew Lenharth

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners