English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
[Caml-list] a patch to support + and * in ocamlyacc
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2003-10-17 (21:46)
From: Andrew Lenharth <andrewl@d...>
Subject: [Caml-list] a patch to support + and * in ocamlyacc
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.


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


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