Is there any interest in an ocaml version of the parser generator 
antlr?   Presumably it would work along the lines of ocamllex and 
ocamlyacc, although I don't really know all that would be involved 
implementing such a tool.

Bill Smith