Re: [PATCH] PR c++/52343 - error with alias template as template template argument

2012-12-26 Thread Jason Merrill
OK. Jason

Re: [PATCH] PR c++/52343 - error with alias template as template template argument

2012-12-24 Thread Dodji Seketeli
Jason Merrill ja...@redhat.com writes: On 12/21/2012 07:35 AM, Dodji Seketeli wrote: else if (TREE_TYPE (t) INTEGRAL_OR_ENUMERATION_TYPE_P (TREE_TYPE (t)) -!TREE_CONSTANT (t)) +!TREE_CONSTANT (t) + /* Class template and alias template arguments should be

Re: [PATCH] PR c++/52343 - error with alias template as template template argument

2012-12-24 Thread Dodji Seketeli
Gabriel Dos Reis g...@integrable-solutions.net writes: G On Sun, Dec 23, 2012 at 11:04 PM, Jason Merrill ja...@redhat.com wrote: On 12/21/2012 07:35 AM, Dodji Seketeli wrote: else if (TREE_TYPE (t) INTEGRAL_OR_ENUMERATION_TYPE_P (TREE_TYPE (t)) - !TREE_CONSTANT (t))

Re: [PATCH] PR c++/52343 - error with alias template as template template argument

2012-12-23 Thread Jason Merrill
On 12/21/2012 07:35 AM, Dodji Seketeli wrote: else if (TREE_TYPE (t) INTEGRAL_OR_ENUMERATION_TYPE_P (TREE_TYPE (t)) - !TREE_CONSTANT (t)) + !TREE_CONSTANT (t) + /* Class template and alias template arguments should be OK. */ +

Re: [PATCH] PR c++/52343 - error with alias template as template template argument

2012-12-23 Thread Gabriel Dos Reis
On Sun, Dec 23, 2012 at 11:04 PM, Jason Merrill ja...@redhat.com wrote: On 12/21/2012 07:35 AM, Dodji Seketeli wrote: else if (TREE_TYPE (t) INTEGRAL_OR_ENUMERATION_TYPE_P (TREE_TYPE (t)) - !TREE_CONSTANT (t)) + !TREE_CONSTANT (t) + /* Class

Re: [PATCH] PR c++/52343 - error with alias template as template template argument

2012-12-22 Thread Dodji Seketeli
Gabriel Dos Reis g...@integrable-solutions.net writes: Thank you very much for the explanation; your previous message makes sense to me now. You are welcome. The question I have is why are we using TREE_TYPE of a TEMPLATE_DECL to represent the current instantiation of a template alias? My

Re: [PATCH] PR c++/52343 - error with alias template as template template argument

2012-12-22 Thread Gabriel Dos Reis
On Sat, Dec 22, 2012 at 9:53 AM, Dodji Seketeli do...@redhat.com wrote: Gabriel Dos Reis g...@integrable-solutions.net writes: Thank you very much for the explanation; your previous message makes sense to me now. You are welcome. The question I have is why are we using TREE_TYPE of a

[PATCH] PR c++/52343 - error with alias template as template template argument

2012-12-21 Thread Dodji Seketeli
Hello, In the example accompanying this patch, check_instantiated_arg tries to ensure that a non-type template argument should be a constant if it has integral or enumeration type. The problem is that an alias template which type-id is, e.g, an integer, looks like an argument that has

Re: [PATCH] PR c++/52343 - error with alias template as template template argument

2012-12-21 Thread Gabriel Dos Reis
The example is valid, but I am not sure I understand your explanation... -- Gaby

Re: [PATCH] PR c++/52343 - error with alias template as template template argument

2012-12-21 Thread Dodji Seketeli
Gabriel Dos Reis g...@integrable-solutions.net writes: The example is valid, but I am not sure I understand your explanation... Ah, sorry. I realize just now that I haven't mentioned the initial erratic behaviour. Maybe that could have made my message easier to understand. So consider the

Re: [PATCH] PR c++/52343 - error with alias template as template template argument

2012-12-21 Thread Gabriel Dos Reis
On Fri, Dec 21, 2012 at 10:25 AM, Dodji Seketeli do...@redhat.com wrote: Gabriel Dos Reis g...@integrable-solutions.net writes: The example is valid, but I am not sure I understand your explanation... Ah, sorry. I realize just now that I haven't mentioned the initial erratic behaviour.