From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-prs-return-27280-listarch-gcc-prs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 29925 invoked by alias); 6 Jan 2003 12:56:07 -0000
Mailing-List: contact gcc-prs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Archive: <http://gcc.gnu.org/ml/gcc-prs/>
List-Post: <mailto:gcc-prs@gcc.gnu.org>
List-Help: <mailto:gcc-prs-help@gcc.gnu.org>
Sender: gcc-prs-owner@gcc.gnu.org
Received: (qmail 29897 invoked by uid 71); 6 Jan 2003 12:56:04 -0000
Date: Mon, 06 Jan 2003 12:56:00 -0000
Message-ID: <20030106125604.29896.qmail@sources.redhat.com>
To: nobody@gcc.gnu.org
Cc: gcc-prs@gcc.gnu.org,
From: Volker Reichelt <reichelt@igpm.rwth-aachen.de>
Subject: Re: c++/9057: partial template specialization appears to be ignored
Reply-To: Volker Reichelt <reichelt@igpm.rwth-aachen.de>
X-SW-Source: 2003-01/txt/msg00319.txt.bz2
List-Id: <gcc-prs.sourceware.org>

The following reply was made to PR c++/9057; it has been noted by GNATS.

From: Volker Reichelt <reichelt@igpm.rwth-aachen.de>
To: gcc-gnats@gcc.gnu.org, sneechy@hotmail.com, gcc-bugs@gcc.gnu.org
Cc:  
Subject: Re: c++/9057: partial template specialization appears to be ignored
Date: Mon, 6 Jan 2003 14:51:25 +0100

 Hi,
 
 I think gcc is right and the code is actually ill-formed:
 If you write
 
   template <typename U> struct B<A::i, U> {};
 
 instead of
 
   template <typename U> struct B<i, U> {};
 
 the code compiles fine. Since "i" is actually dependant on the template
 parameter "T", that's how you have to do it IMHO.
 
 I'm not 100% sure, however, so I leave this PR open for the experts.
 
 Regards,
 Volker
 
 http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=9057