Re: [PATCH v3] Fix PR56480 aka DR374. Allow explicit specialization in enclosing namespace.

2014-11-03 Thread Markus Trippelsdorf
On 2014.11.03 at 08:47 -0600, Jason Merrill wrote: > On 11/03/2014 05:27 AM, Markus Trippelsdorf wrote: > > BTW both EDG and clang reject g++.dg/template/spec17.C: > > > > namespace io { > >template int foo(); > > } > > using namespace io; > > template<> int foo(); > > > > But I think it is a

Re: [PATCH v3] Fix PR56480 aka DR374. Allow explicit specialization in enclosing namespace.

2014-11-03 Thread Jason Merrill
On 11/03/2014 05:27 AM, Markus Trippelsdorf wrote: BTW both EDG and clang reject g++.dg/template/spec17.C: namespace io { template int foo(); } using namespace io; template<> int foo(); But I think it is a reasonable extension to accept it. We should reject it, too. We can only leave out

[PATCH v3] Fix PR56480 aka DR374. Allow explicit specialization in enclosing namespace.

2014-11-03 Thread Markus Trippelsdorf
On 2014.11.02 at 21:12 -0500, Jason Merrill wrote: > On 11/02/2014 09:15 AM, Markus Trippelsdorf wrote: > > + if (cxx_dialect < cxx11) > > + { > > + permerror (input_location, "specialization of %qD in different " > > +"namespace", tmpl); > > + permerror (input_locati