Re: [cpplib]: Implement #pragma GCC whatever

[Zack Weinberg <zack at wolery dot cumb dot org>]

On Fri, Jun 23, 2000 at 12:00:21PM +0100, Nathan Sidwell wrote:
> Zack Weinberg wrote:
> 
> > Since #pragma system_header is new and only used by libstdc++3, I
> > think you should remove it from the global namespace. 
> ok.

Mm, what you actually did was take #pragma once out of the GCC
namespace.  I have no problem with that - it's an old deprecated
pragma, we may not want to perpetuate it by putting it in 'our'
namespace.  Your choice - but the documentation needs to match.

> > But that can go in a separate patch.
> oops, didn't notice that bit.
> 
> > Would you mind updating the documentation too?
> done. I couldn't find documentation about #pragma implementation.

I believe it's hiding under "C++ Extensions" in invoke.texi.

> Also, elsewhere in cpp.texi it said `the preprocessor doesn't use pragmas'
> so I fixed that one.

Thanks.

This patch is approved once you take #pragma system_header out of the
global namespace, and decide whether #pragma once will stay out of the
GCC namespace.

You should perhaps submit a patch implementing this namespace in
c-pragma.c as well.

zw