Re: proposed support for C1X-style static_assert

[Paul Eggert]

On 05/05/11 10:48, Bruno Haible wrote:
> But with gnulib, we have three territories: the C implementation, gnulib,
> and the application. From the point of the C implementation, gnulib is
> application code. From the point of the application, gnulib is part of the
> C implementation. So we have to use a careful pragmatic choice in order
> not to conflict with one or the other.

Yes, and I'm not saying we should change things, but we need to be clear:
gnulib infringes both on the implementation space (via _GL_...) and on
the application space (via _gl_...).  We could easily modify gnulib
to infringe on just one space, or just on the other; but we've chosen
to put a plague on both houses.  :-)