This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] PRs c++/51239, c++/51180 - Better support for unbound alias template specialization
- From: Gabriel Dos Reis <gdr at integrable-solutions dot net>
- To: Dodji Seketeli <dodji at redhat dot com>
- Cc: Jason Merrill <jason at redhat dot com>, GCC Patches <gcc-patches at gcc dot gnu dot org>
- Date: Fri, 2 Dec 2011 13:23:49 -0600
- Subject: Re: [PATCH] PRs c++/51239, c++/51180 - Better support for unbound alias template specialization
- References: <m3aa7bvun7.fsf@redhat.com>
On Fri, Dec 2, 2011 at 9:51 AM, Dodji Seketeli <dodji@redhat.com> wrote:
> After talking with you offline, we settled on using the existing
> BOUND_TEMPLATE_TEMPLATE_PARM tree to represent this new construct.
> The alias template and its unbound arguments are stored in the
> TYPE_TEMPLATE_INFO of the tree and its TYPE_NAME has the
> TYPE_DECL_ALIAS_P flag set.
This representation sounds much more regular to me, considering
the existing patterns of representing templates. The "alias" part in
"template alias" just means that we can substitute right away when
the alias is applied. Otherwise, it is a template (like any other) in
all other aspects (except it can't be deduced.)
-- Gaby