09:01 <musasabi> What is the easiest way of simulating dynamic binding in ocaml?

09:04 <musasabi> does anyone have experience with ocamlyacc? I want to have a rule like bb: DD {...} | bb DD {...};foo: AA { inialisation } bb CC { cleanup }. How is this done when $$ does not exist?

09:06 <mrvn> What was $$ again? The result?

09:08 <musasabi> mrvn: yes.

09:09 <mrvn> Why would you need to initialize something? You could use refs or mutables.

09:09 <musasabi> mrvn: the problem is that I want to have multiple actions for a rule, but as ocamlyacc gets the result implicitely unlike yacc.

09:10 <musasabi> mrvn: symbol table. I need to go one level deeper. Using a ref to implement the dynamic binding is easy.

09:11 <mrvn> foo: foo_first bb CC { cleanup }

09:11 <mrvn> foo-first: AA { inialisation }

09:11 <mrvn> if you can't write a propper grammar that doesn't need that

09:12 <musasabi> of course there are allways ways of getting around it, it just makes the grammar more messy / verbose.

09:12 <mrvn> Just use a context free grammar.

13:13 <mrvn> tidum