"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