default value/generator shape differences hard to debug

Bugzilla Link	139
Created on	Oct 27, 2005 00:48
Resolution	REMIND
Resolved on	Oct 27, 2005 11:00
Version	1.00beta
OS	Linux
Architecture	PC
Attachments	bug20051026b.txt, bug20051026b.sac

Extended Description

When a WL generator and the WL default values differ in shape, etc., a diagnostic to this effect is sometimes, but not always, displayed. Instead, the default value's properties are treated as gospel, and some function downstream gets blamed for having an incorrect type. These are REALLY tedious to debug. Two proposals: a. Try to improve the compiler's ability to report these discrepancies.[Of course, if it was able to deduce that they're different, we wouldn't need the default, would we?] b. Provide a compiler option to display type information (at the source level, not the flattened level), to permit easier backtracking to find out what really went wrong where. b.