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.

Reply via email to