Passing arguments to a parser generated by ocamlyacc

Passing arguments to a parser generated by ocamlyacc

[Joel Reymont]

Folks,

I need to pass a symbol table to the parser generated by ocamlyacc. I  
can do this fine with ocamllex and thought I could do the following  
for ocamlyacc:

%start program
%type <Symtab.symtab -> Easy.program> program

It doesn't work, unfortunately. Are there any workarounds?

My parser is supposed to be used as a C library. I have a hunch that  
when there are several calls to the parser the single mutable symbol  
table I'm using now will be overwritten, thus the need to pass one in.

	Thanks, Joel

--
http://wagerlabs.com/

Re: [Caml-list] Passing arguments to a parser generated by ocamlyacc

[Jeremy Yallop]

Joel Reymont wrote:
> I need to pass a symbol table to the parser generated by ocamlyacc. I 
> can do this fine with ocamllex and thought I could do the following for 
> ocamlyacc:
> 
> %start program
> %type <Symtab.symtab -> Easy.program> program
> 
> It doesn't work, unfortunately. Are there any workarounds?

One possible solution is to pass it as part of the value of each token 
returned by the lexer, e.g.

    %token <Symtab.symtab> TOKEN

    ...
    some_rule:
      TOKEN ...    { let symtab = $1 in ... }

Jeremy.