Canonical type nodes, or, comptypes considered harmful

[Gabriel Dos Reis]

Ian Lance Taylor <iant@google.com> 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