incubator-stdcxx-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Martin Sebor <se...@roguewave.com>
Subject Re: :decay related question
Date Sat, 28 Jun 2008 22:53:05 GMT
Travis Vitek wrote:
>  
> 
> Martin Sebor wrote:
>> Travis Vitek wrote:
>>>  
>>>> Eric Lemings wrote:
>>>>
>>>> Page 490, section 20.3.1.2, paragraph 1 in the latest draft 
>>>> says this:
>>>>
>>>> "Let Ui be decay<Ti>::type for each Ti in Types. Then each 
>>>> Vi in Vtypes is X& if Ui equals reference_wrapper<X>,
>>>> otherwise Vi is Ui."
>>>>
>>>> What do you suppose the relationship is between type `X' 
>>>> and types `Ti' and `Ui'?  I see how the latter two types
>>>> are deduced from the type list `Types' but not so sure
>>>> about how type `X' is deduced from `Types'.
>>> I'm looking at this and I have no idea where VTypes and X are coming
>>> from. Is that an issue, or am I missing something?
>> Have you found an issue for any of this? (If not, we/I will
>> need to open one.)
>>
> 
> I don't see one. Unless Brad knows something that we don't, I think it
> should be brought up.

Okay. Can one of you guys please summarize the problem along with
a proposed resolution and send it to the c++std-lib list for review?
I'll be happy to help you incorporate any feedback we get and, if
necessary, put together an issue.

Thanks
Martin

Mime
View raw message