[PATCH] Re: Canonical type nodes, or, comptypes considered harmful

[Mike Stump]

On Nov 27, 2006, at 7:04 AM, Doug Gregor wrote:
> So, here's a variant that might just work: add a flag variable
> flag_check_canonical_types.  When it's true, we do the complete
> structural checking, verify it against the canonical types result, and
> warn if they differ. (This is what we do now when
> VERIFY_CANONICAL_TYPES is defined).

This is a slightly softer version of mine...  Sounds reasonable.  The  
flag should be removed after a major release or two after most all the  
bugs are fixed, if any.