Version française
Home     About     Download     Resources     Contact us    
Browse thread
There's an elephant in the room: Solution to sharing a symbol table
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Francois Pottier <Francois.Pottier@i...>
Subject: Re: [Caml-list] Re: [Menhir-list] There's an elephant in the room: Solution to sharing a symbol table

Hello,

On Wed, May 02, 2007 at 07:04:50PM +1000, skaller wrote:
> You can't. Don't be confused by functor interface in Menhir. 
> It is useless for maintaining state.

I don't think so...

> What you need is a feature I asked for .. the possibility of
> passing a state argument to the parser the same way you can
> now do for ocamllex: you just write
> 
> 	rule fred state = parse ...

I remember our discussion. What you need primarily, if I recall
correctly, is the ability for a semantic action to recursively
invoke the parser itself. This happens to work if the parser is
defined as a recursive function, and does not (currently) work
when the parser is defined as a functor, because the functor is
not declared as recursive. We could, in principle, make it a
recursive functor, which would allow recursive invocations.

-- 
François Pottier
Francois.Pottier@inria.fr
http://cristal.inria.fr/~fpottier/