This is the mail archive of the libstdc++@gcc.gnu.org mailing list for the libstdc++ project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: C++ PATCH: PR 13140

From: Benjamin Kosnik <bkoz at redhat dot com>
To: Gabriel Dos Reis <gdr at integrable-solutions dot net>
Cc: mark at codesourcery dot com, gcc-patches at gcc dot gnu dot org, libstdc++ at gcc dot gnu dot org
Date: Thu, 15 Sep 2005 14:41:43 -0500
Subject: Re: C++ PATCH: PR 13140
References: <200509150953.j8F9rn58020540@sethra.codesourcery.com><m3d5nawfua.fsf@uniton.integrable-solutions.net>

> 
> | This patch tightens up error checking in G++.  In particular, we now
> | catch cases where a member is defined in a namespace that does not
> | enclose the class in whch it was declared, or cases where a template
> | is explicitly instantiated in a namespace that does not enclose the
> | namespace where it was declared, and we catch an explicit
> | specialization case that we didn't catch before. 

> The libstdc++ change is OK.

Agreed. I also agree that the standard requires the present behavior.

However, when we were presenting in Kona about namespace association,
nobody (Gaby, Bjarne, Daveed) could remember why this particular
behavior is required in the first place.

Any thoughts?

Just curious. 

-benjamin

Follow-Ups:
- Re: C++ PATCH: PR 13140
  - From: Gabriel Dos Reis
- Re: C++ PATCH: PR 13140
  - From: Mark Mitchell

References:
- C++ PATCH: PR 13140
  - From: Mark Mitchell
- Re: C++ PATCH: PR 13140
  - From: Gabriel Dos Reis

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]