C++ PATCH: PR 23293

[Mark Mitchell]

Giovanni Bajo wrote:

> Please reconsider this patch. The fact that GCC was able to say S<MyList>
> instead of S<..15 lines of template dump..> was a very important feature for
> the C++ template community, especially Boost.

I have huge respect for David, so I'll be interested in his opinion.

(CodeSourcery's got a very active C++ development project involving
template metaprogramming, and I did use to do POOMA development, so I do
have some actual user experience.)

We've got multiple bug reports making the opposite complaint -- and, at
least for the foreseeable future, you can't have both.  The problem is
that the before-patch situation results in diagnostics that are
downright wrong, and to me, that's a definitive advantage to the
post-patch approach.

(Personally, the format I've wanted is more like:

  ...S<#1>...

    #1: allocator<int>
    #2: std::list<int, #1>
    #3: std::vector<#2, #1>

In other words, generate typedef equivalents on the fly, rather than
trying to use predefined names.  But, that's just me, and it's not
happenning soon anyhow.)

-- 
Mark Mitchell
CodeSourcery, LLC
mark@codesourcery.com
(916) 791-8304