Re: access to parser stack in SMIE

[Stefan Monnier]

> Neither set of tools wants a _complete_ BNF.

And because they use a different underlying parser algorithm, even if
they described exactly the same grammar, they'd want different BNFs.

> Automating a BNF filter to extract just the right subset for each tool
> would be a really neat feat (and probably pass the Turing test :).

I think that merging the two will require some way to give
a higher-level description of the grammar which gives enough hints about
what goes to SMIE and what goes to Semantic (and what is shared).


        Stefan