> On 9 Dec 2019, at 07:15, Akim Demaille <[email protected]> wrote:
>
>> Le 8 déc. 2019 à 18:04, Hans Åberg <[email protected]> a écrit :
>>
>>
>>> On 8 Dec 2019, at 17:01, Akim Demaille <[email protected]> wrote:
>>>
>>> $ cat test.cc
>>> #include <stddef.h>
>>> #include <stdint.h>
>>>
>>> ptrdiff_t half_max_capacity = PTRDIFF_MAX;
>>> $ clang++-mp-9.0 -pedantic -std=c++98 /tmp/test.cc -c
>>
>> In C++, the header is cstddef, and from C++11, there is cstdint, too. C++11
>> defines nullptr_t which is not in the C header.
>
> Hi Hans,
Hello,
> This is glr.cc, whose core is glr.c, so it is C. And for that matter, it
> made no difference to use the corresponding C++ headers.
Perhaps it is the other way around that might matter.
