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.