Martin Jambon wrote:
> You can even get rid of global variables completely:
>
>
> rule lex x = parse
>   eof    { () }
> | "(*"   { x.start <- pos lexbuf; lexNestComment x lexbuf; lex x lexbuf }
>
> and lexNestComment x = parse
>   eof          { error (loc x 2) "unterminated comment" }
> | "(*"         { lexNestComment x lexbuf }
> | "*)"         { () }
> | _            { lexNestComment x lexbuf }
>   

Nicer indeed. To my defense I have to say that I wrote the code long 
before rule arguments were introduced into ocamllex - I said it was 
really old... :-)

- Andreas