Changes between Version 170 and Version 171 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Dec 15, 2010 5:03:02 PM (5 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v170 v171  
    103103
    104104 * #816. #3108: extreme delicacy in solve order, involving fundeps
    105  * #1823: refinement
    106 
    107  * #3554: assertion failure
    108  * #3330: type checker loops
    109  * #3500: recursive dictionaries
    110  * #3787: bad program produced
    111  * #4226: strange implicit-parameter behaviour
    112  * #4160: Type families crash in HEAD
    113  * #4200: don't require `UndecidableInstances` for equality constraints
    114  * #4178: unnecessary skolem escape check
    115  * #4179: loop in type inference
    116  * #4174: bad error message
    117  * #4093: constraint simplifier loops
    118  * #2296: position info for fundep message
    119  * #2683: muttering about boxy type ASSERT
    120  * #4044, #4045: these were crashes something to do with type functions when building GHC
    121  * #3064: performance of constraint simplifier
     105
    122106 * [wiki:TypeFunctionsStatus]
    123107 * #3927, #4139: overlap warnings with GADTs