[cfe-dev] Repeated NNS in Elaborated types?

[Enea Zaffanella]

Il 03/03/2011 18:27, Douglas Gregor ha scritto:
> 
> On Mar 2, 2011, at 3:22 PM, Enea Zaffanella wrote:
> 
>> Il 02/03/2011 18:26, Douglas Gregor ha scritto:
>>>
>>> On Mar 2, 2011, at 8:44 AM, Enea Zaffanella wrote:
>> [...]
>>>> Does this sound as a reasonable approach?
>>>
>>>
>>> Good find. I hadn't realized that this duplication actually occurred
>>> in our ASTs.
>>>
>>> However, I suggest that we take the opposite approach: when we see
>>> that we're building a TemplateSpecializationType with a
>>> QualifiedTemplateName, map that QTN down to the underlying template
>>> name.
>>
>> We had a try on this, but we start suspecting that we have not enough
>> confidence with this portion of clang code, which also seems to be
>> changing very quickly. It is unclear to us, for instance, whether a QTN
>> can be mapped to a simple template name without breaking the existing
>> invariants. So, if you have a clearer picture of what needs to be done,
>> then your help will be greatly appreciated. On our side, we will keep
>> checking the accuracy of source location info and provide all feedback
>> we can.
> 
> r126946 is the easy way to do this, at least until we can do the more significant refactoring to introduce TypeTemplateDecl.
> 
> 	- Doug


Everything looks simpler when done ;)

Actually, we thought that the boolean flag for the presence of the
optional "template" keyword was to be saved somewhere ... but that can
really wait for the refactoring.

Enea.