[PATCH] Canonical types (1/3)

[Mark Mitchell]

Gabriel Dos Reis wrote:

> | It's always been happening; I haven't changed this at all. I'm just
> | modeling what the system does now, and grafting canonical types on top
> | of it. We can fix this system (Mark's proposal is, I think, the right
> | way to do this), and I'm all for it. But we shouldn't do that as part
> | of canonicalizing types.
> 
> That should happen before tthe unified type nodes are in.  It would reduce
> confusion.

This is completely orthogonal to canonical types.  I see no reason to
hold up Doug's patch, which does not change the behavior of the
compiler, but makes it a good bit quicker.  Doug's patch isn't going to
make it any harder to change this behavior later.

-- 
Mark Mitchell
CodeSourcery
mark@codesourcery.com
(650) 331-3385 x713