Re: [PATCH] Canonical types (1/3)

[Gabriel Dos Reis <gdr at integrable-solutions dot net>]

Mark Mitchell <mark@codesourcery.com> writes:

| 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.

The suggestion was not to "take a patch as hostage", rather than a
suggestion of way to reduce confusion.

-- Gaby