Jacques Garrigue wrote:

> 
> Interestingly, your example corresponds exactly to the one in the
> ocaml tutorial, where it is solved using stream parsers.
> Stream parsers are a bit more involved than just writing yacc rules,
> but they give you more control on how to combine rules (you can write
> parser combinators.) And they are completely integrated in the
> language using camlp4.
> 

Er.. Excuse me for sticking my nose into this, but I think I read 
something interesting. Parser combinators? What do you mean? I'm quite 
sure I have not seen any operators acting on stream parsers, at least if 
by stream parsers you mean the LL1 based on pa_op.cmo camlp4 module.

Alex


-- 
*********************************************************************
http://www.barettadeit.com/
Baretta DE&IT
A division of Baretta SRL

tel. +39 02 370 111 55
fax. +39 02 370 111 54

Our technology:

The Application System/Xcaml (AS/Xcaml)
<http://www.asxcaml.org/>

The FreerP Project
<http://www.freerp.org/>