[EMAIL PROTECTED] (Richard Kenner) writes: | > Like when int and long have the same range on a platform? | > The answer is they are different, even when they imply the same object | > representation. | > | > The notion of unified type nodes is closer to syntax than semantics. | | I'm more than a little confused, then, as to what we are talking about | canonicalizing. We already have only one pointer to each type, for example.
yes, but it is not done systematically. Furthermore, we don't unify function types -- because for some reasons, it was decided they would hold default arguments. And you have lot of function declarations in headers and C++ programs. -- Gaby
