This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: C++ PATCH for c++/51239, 57138 (pack expansion and alias templates)

From: Jason Merrill <jason at redhat dot com>
To: Gabriel Dos Reis <gdr at integrable-solutions dot net>
Cc: gcc-patches List <gcc-patches at gcc dot gnu dot org>
Date: Sat, 03 Aug 2013 20:11:59 -0400
Subject: Re: C++ PATCH for c++/51239, 57138 (pack expansion and alias templates)
References: <51FD68B2 dot 2050400 at redhat dot com> <CAAiZkiCUkrj1aiL0hF4cA6hf=g2t2HGFu2k4Q+mqMwo=q5nB1w at mail dot gmail dot com>

On 08/03/2013 06:43 PM, Gabriel Dos Reis wrote:

On Sat, Aug 3, 2013 at 3:31 PM, Jason Merrill <jason@redhat.com> wrote:

DR 1430 seems to be being resolved to prohibit passing a pack expansion to a
non-pack parameter of an alias template.  I disagree with this direction,
but I'm going to go ahead and implement it for now.


I too disagree.  Do we need a NB-level comment to get a reconsideration?

1430 is still in drafting, so an NB comment on the CD wouldn't makesense procedurally. You might drop a note of concern to Mike Miller,though.

The second patch implements DR 1286, which allows an alias template to be
equivalent to another template if the type it aliases is the same as the
type of the other template.


this was part of the original intent.  I am mystified it was reversed.

It wasn't reversed, particularly; Core just noticed that it wasn'tspecified by the language, so we fixed the example to match thenormative text.


Jason

References:
- C++ PATCH for c++/51239, 57138 (pack expansion and alias templates)
  - From: Jason Merrill
- Re: C++ PATCH for c++/51239, 57138 (pack expansion and alias templates)
  - From: Gabriel Dos Reis

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]