default value/generator shape differences hard to debug
|Oct 27, 2005 00:48
|Oct 27, 2005 11:00
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.