Nick Sabalausky Wrote: > In other words, we basically have a form of this: > > <A> ::= <B> | <C> > <B> ::= X > <C> ::= X > > Can't be done. No way to tell if X is <B> or <C>. A hairy grammar can be used here, anyway goldie's output needs postprocessing, right?