Re: %name-prefix: manual not consistent with bison

2009-10-16 Thread Rui Maciel
Joel E. Denny wrote: > In Bison 2.3b, we added support for the first form above and deprecated > the second form. Please check that the bison executable you're running > and the version of the documentation you're reading have the same version > number. It's Bison 2.3, installed from the Ubun

Re: %name-prefix: manual not consistent with bison

2009-10-15 Thread Joel E. Denny
On Wed, 14 Oct 2009, Rui Maciel wrote: > I've just noticed that the manual entry on the %name-prefix option isn't > consistent with the way Bison handles this option, as, while the manual > states[1] that the option should be used like: > > %name-prefix "prefix" > > When Bison stumbles on that

%name-prefix: manual not consistent with bison

2009-10-14 Thread Rui Maciel
I've just noticed that the manual entry on the %name-prefix option isn't consistent with the way Bison handles this option, as, while the manual states[1] that the option should be used like: %name-prefix "prefix" When Bison stumbles on that entry it throws an error. On the other hand, it acce