On Sep 5, 2008, at 6:41 PM, Eli Friedman wrote:
> On Fri, Sep 5, 2008 at 3:22 PM, steve naroff <[EMAIL PROTECTED]>
> wrote:
>> The code above enables us to diagnose the following as an error
>> (which isn't
>> considered an error in C):
>>
>> int (^emptyArgBlock)();
>> int (^intArgBlock)(int) = emptyArgBlock;
>
> Right... my question is, is your function supposed to be equivalent to
> the following? If not, how is it different?
>
> bool ASTContext::typesAreBlockCompatible(QualType lhs, QualType rhs) {
> return getCanonicalType(lhs) == getCanonicalType(rhs);
> }
>
I believe you are right. Duh.
Thanks,
snaroff
> -Eli
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits