Changes between Version 431 and Version 432 of TypeFunctionsStatus


Ignore:
Timestamp:
Apr 28, 2009 4:34:57 AM (6 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!!