Re: PR c++/56782 - Regression with empty pack expansions

2013-05-16 Thread Dodji Seketeli
Jason Merrill writes: > I thought I approved this on IRC; please apply it to trunk and 4.8. Applied to both branches, thanks. -- Dodji

Re: PR c++/56782 - Regression with empty pack expansions

2013-05-15 Thread Jason Merrill
On 05/15/2013 06:56 PM, Dodji Seketeli wrote: So here is what bootstraped. I thought I approved this on IRC; please apply it to trunk and 4.8. Jason

Re: PR c++/56782 - Regression with empty pack expansions

2013-05-15 Thread Dodji Seketeli
Jason Merrill writes: > On 05/15/2013 10:33 AM, Dodji Seketeli wrote: >> So let's rule out the particular case of a zero argument pack >> length. > > I don't think there's anything special about zero length; if > has_empty_arg is true and parm_packs is non-null, we want to return > true. Does th

Re: PR c++/56782 - Regression with empty pack expansions

2013-05-15 Thread Jason Merrill
On 05/15/2013 10:33 AM, Dodji Seketeli wrote: So let's rule out the particular case of a zero argument pack length. I don't think there's anything special about zero length; if has_empty_arg is true and parm_packs is non-null, we want to return true. Does that make sense to you? Jason

PR c++/56782 - Regression with empty pack expansions

2013-05-15 Thread Dodji Seketeli
Hello, In the example of the patch below, during the instantiation of is_convertible at #1, we see at some point Tuple<>. (Let's note '{}' an empty argument pack.) In that context, during the partial specialization the member template template Tuple<>::Tuple...