"Joseph S. Myers" <[EMAIL PROTECTED]> writes:

[...]

| In C, there are several other sources of intransitivity, such as 
| incomplete array types (int[10] and int[5] both compatible with int[] but 

I'm sure we can (and probably must) specical-case that.

| not with each other), unprototyped functions and enums (two enums 
| compatible with the same integer type are not compatible with each other).

well, we can just have the unified type nodes for the C++ front-end if
the C system is determined to be resilient :-)

-- Gaby

Reply via email to