On 6/18/12 9:45 AM, deadalnix wrote:
Le 18/06/2012 16:43, Andrei Alexandrescu a écrit :
On 6/18/12 7:43 AM, deadalnix wrote:
Le 18/06/2012 07:36, Mehrdad a écrit :
Is it just me, or did I subvert the type system here?
delegate fail to ensure transitivity of type qualifier. This is no news.
This is however a big error.
I proposed a fix to that by changing the semantic of the type qualifier
depending on its position in the declaration, but didn't received much
feedback at the time.
I don't think that's the correct explanation.
Andrei
I fail to understand what you mean here. This post ins't supposed to
explain anything.
Mehrdad posted a code sample and you replied to it with what I could
only assume was an explanation of the code's behavior. I hope you'd
agree it was a reasonable assumption, whether or not it was correct.
The problem at work here is that "this" is typed incorrectly during the
construction of a qualified object. It should go progressively from a
"raw" to a "cooked" state, and cannot be passed to any function while raw.
I've however made other posts to explain why
transitivity is broken when it comes to delegate.
I looked at your posts through June and couldn't find such, so a couple
of links would be great. Of course, bug reports would be even better!
Andrei
