> On 17 Mar 2018, at 22:24, Frank Heckenbach wrote:
>
> To answer my own question, I wrote:
>
>> So, isn't there some way to rename those files, either based on the
>> bison source file name, or by a command-line option or directive, or
>> at least, if still hard coded, in a way that clearly ma
Hans Åberg wrote:
> > I don't particularly like those extra headers (see my mail in the
> > other thread "Generated headers"), but for now I don't want to
> > change more than necessary.
>
> They conflict if using multiple parsers with different namespaces.
Indeed (see my other mail).
> > But
To answer my own question, I wrote:
> when using "%defines" or "--defines", bison generates the normal C++
> file, the header (whose name can be set with "--defines") and 3 more
> files, position.hh, location.hh and stack.hh whose names apparently
> cannot be changed.
>
> I think that's not nice
