From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 7796 invoked by alias); 7 Apr 2003 11:16:02 -0000 Mailing-List: contact gcc-prs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-prs-owner@gcc.gnu.org Received: (qmail 7770 invoked by uid 71); 7 Apr 2003 11:16:01 -0000 Date: Mon, 07 Apr 2003 11:16:00 -0000 Message-ID: <20030407111601.7769.qmail@sources.redhat.com> To: nobody@gcc.gnu.org Cc: gcc-prs@gcc.gnu.org, From: "Giovanni Bajo" Subject: Re: c++/10261: g++ does not error for bogus |typename| inside a templated class Reply-To: "Giovanni Bajo" X-SW-Source: 2003-04/txt/msg00247.txt.bz2 List-Id: The following reply was made to PR c++/10261; it has been noted by GNATS. From: "Giovanni Bajo" To: , , , , Cc: Subject: Re: c++/10261: g++ does not error for bogus |typename| inside a templated class Date: Mon, 7 Apr 2003 13:08:36 +0200 http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&p r=10261 >> Not a bug. ยง14.6p5: "The keyword typename shall only be used in template > > declarations and definitions [...] The keyword typename shall only be > > applied to qualified names, but those names need not be dependent." > right, I wasn't complaining about the first two bits, which should be > erroring, but rather pointing out the second two lines. Please read again: "The keyword typename shall only be applied to qualified names, but those names *NEED NOT* be dependent." In your example, in the second two lines, foo::value_type is a non-dependent qualified name. Use of typename is allowed but not required. >Yeah, I think I misread the DR, Yup, that DR has nothing to do with this. Giovanni Bajo