This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [C++ PATCH] [PR14284] A template template parameter is a dependenttype (regression 3.4/trunk)
- From: Mark Mitchell <mark at codesourcery dot com>
- To: Gabriel Dos Reis <gdr at integrable-solutions dot net>
- Cc: Giovanni Bajo <giovannibajo at libero dot it>, Jason Merrill <jason at redhat dot com>, gcc-patches at gcc dot gnu dot org
- Date: Fri, 05 Mar 2004 20:34:42 -0800
- Subject: Re: [C++ PATCH] [PR14284] A template template parameter is a dependenttype (regression 3.4/trunk)
- Organization: CodeSourcery, LLC
- References: <488701c3fc8e$c06ed370$aa422597@bagio> <xyphdxdr4hj.fsf@miranda.boston.redhat.com> <4a6801c3fca5$ff3606c0$aa422597@bagio> <m3znb5shsg.fsf@uniton.integrable-solutions.net>
Gabriel Dos Reis wrote:
"Giovanni Bajo" <giovannibajo@libero.it> writes:
| > a template template parameter isn't any kind of type.
|
| Yes, I was wondering the same thing. The problem is that TYPE_P is true for a
| template template parameter.
I've also wondered the same for long time. I think that is a design
error and should not be carried over. Probably, it came from the days
where we didn't distinguish a bound template template-parameters from
unbound ones. TYPE_P should not be true for such a
TEMPLATE_TEMPLATE_PARM.
Indeed.
--
Mark Mitchell
CodeSourcery, LLC
mark@codesourcery.com