> On 9 Apr 2018, at 18:19, Frank Heckenbach <f.heckenb...@fh-soft.de> wrote:
>
> Hans Åberg wrote:
>
>>> On 9 Apr 2018, at 17:04, Frank Heckenbach <f.heckenb...@fh-soft.de> wrote:
>>>
>>>> The option
>>>> %define extra_header_prefix {calc-c++17-}
>>>> does not seem to work: I got both location.hh and position.hh.
>>>
>>> Ah, sorry, I think you need to apply my original patch from
>>>
>>> http://lists.gnu.org/archive/html/bug-bison/2018-03/msg00058.html
>>>
>>> as well. It patches location.cc which is otherwise unchanged in the
>>> new skeleton. I will clarify this.
>>
>> Also position.hh differs on the namespace chosen.
>
> position.hh is also generated from location.cc (a bit confusing
> perhaps; not my choice). If you remove all generated files and start
> from scratch, does it work for you with the above patch?
It is malformed, perhaps mangled by the mailing system: they should be posted
as files, I think. Better you fix it. When I compiled it, I kept the name of
position.hh, only changing location.cc.
