Changes between Version 420 and Version 421 of TypeFunctionsStatus
- 01/15/09 20:34:18 (4 years ago)
v420 v421 10 10 * Fix tcLookupFamInst to gracefully handle this case. (This requires some care to not violate assumptions made by other clients of this function, as it is also used for data families, but I see no fundamental problem.) 11 11 * Issue a warning if there are two identical instances (as per Roman's suggestion). 12 * #1968 (GADT syntax in family instances; at least provide a proper error message and don't panic!) 13 * Need to check the result types of the data constructors, probably in `checkValidDataCon`. 14 * `tcFamInstDecl1` needs to allow family GADT instances. 15 12 * #2203 (TFs in class instance heads) 16 13 * #2435 (Bug with qualified names in declarations) … … 42 39 43 40 * Misc: 44 * #2856 (generalised new type deriving for associated data types) 45 * #2853 (type families and defaulting) 46 41 * #2721 (generalised newtype deriving for classes with associated types) 47 42 * `TcPat` and `TcUnify` (and maybe other modules) still have calls to the unification engine that ignore the returned coercion!!