Re: Canonical type nodes, or, comptypes considered harmful

[Robert Dewar]

Doug Gregor wrote:

These are different types. For instance, "int" and "long" are distinct
types in C++, even if both map onto 32-bit integers.

And in Ada, you can have any number of distinct integer types
with identical representations.