On Nov 7, 2006, at 3:05 PM, Gabriel Dos Reis wrote:
"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 :-)
I do understand the advantages of sharing them more. Perhaps some
90% solution could be made to work, with most type nodes being
unified and the problem cases (there would not be any in C++,
apparently) using the existing inefficient mechanisms.
