Changes between Version 431 and Version 432 of TypeFunctionsStatus


Ignore:
Timestamp:
Apr 28, 2009 4:34:57 AM (5 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v431 v432  
    1717 * Constraint simplification: 
    1818  * #2767 
    19   * #2360: improve error message when unifying `a~T a` where `a` is rigid. 
    2019  * #2664 (typechecker diverges; actually, it's after Tc9, probably during zonking) 
    2120  * #2102 & #2715 (superclass equalities) 
     
    3938 * Misc: 
    4039  * #3064: exponentially slow compile times 
    41   * #3169 (improve occurs-check error message) 
     40  * #3169 & #2360 (improve occurs-check error message in two instances) 
    4241  * #2721 (generalised newtype deriving for classes with associated types) 
    4342  * `TcPat` and `TcUnify` (and maybe other modules) still have calls to the unification engine that ignore the returned coercion!!