Changes between Version 420 and Version 421 of TypeFunctionsStatus


Ignore:
Timestamp:
Jan 16, 2009 4:34:18 AM (5 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v420 v421  
    1010   * 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.) 
    1111   * 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. 
    1512  * #2203 (TFs in class instance heads) 
    1613  * #2435 (Bug with qualified names in declarations) 
     
    4239 
    4340 * Misc: 
    44   * #2856 (generalised new type deriving for associated data types) 
    45   * #2853 (type families and defaulting) 
    4641  * #2721 (generalised newtype deriving for classes with associated types) 
    4742  * `TcPat` and `TcUnify` (and maybe other modules) still have calls to the unification engine that ignore the returned coercion!!