[Bug c++/9737] [DR150] Partial template specialisation selection failure involving template parameter defaults

[gdr at integrable-solutions dot net]

------- Additional Comments From gdr at integrable-solutions dot net  2004-01-25 17:24 -------
Subject: Re:  [DR150] Partial template specialisation selection failure involving template parameter defaults

"giovannibajo at libero dot it" <gcc-bugzilla@gcc.gnu.org> writes:

| Jason, you proposed to keep this PR suspended because the DR was closed 
| as "extension", so it might serve as a prototype implementation for the 
| extension.
| 
| Would you agree in having Kriang's patch in, modified in a way that it 
| basically allows it as a GCC extension (no new switch), so that the strict 
| C++/98 behaviour is enforced in pedantic mode? We can later deprecate and 
| remove the extension if it's not picked up by the Evolution Group (for 
| instance, because of the template alias thingie).

I believe the current approach to this issue is to maintain the analogy
with function function parameters (as pointed out in the Rationale of
DR150); however,  as you point out, use of template alias circumvents
the need for loosening the type system.

-- Gaby


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=9737