This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug c++/14429] valid template template argument rejected
- From: "bangerth at dealii dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 4 Mar 2004 13:49:48 -0000
- Subject: [Bug c++/14429] valid template template argument rejected
- References: <20040304094029.14429.heinlein@informatik.uni-ulm.de>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Additional Comments From bangerth at dealii dot org 2004-03-04 13:49 -------
Confirmed, but I'm not sure the code is valid. icc7 says, for example:
g/x> icc -c -Xc -ansi x.cc
x.cc(1): error: a parameter of a template template parameter cannot depend on
the type of another template parameter
template <template <typename U, U* p> class T>
^
x.cc(4): error: a parameter of a template template parameter cannot depend on
the type of another template parameter
template <template <typename U, U* p> class T>
I think we need some language lawyer here...
W.
--
What |Removed |Added
----------------------------------------------------------------------------
CC| |nathan at gcc dot gnu dot
| |org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14429