Ian Lance Taylor <[EMAIL PROTECTED]> writes: [...]
| I meant something very simple: for every type, there is a | TYPE_CANONICAL field. This is how you tell whether two types are | equivalent: | TYPE_CANONICAL (a) == TYPE_CANONICAL (b) | That is what I mean when I saw one memory dereference and one pointer | comparison. That certainly matches my understanding and implementation in the Pivot. -- Gaby