]> 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